]> gitweb.michael.orlitzky.com - sage.d.git/search
Add is_admissible_extreme_rank() and use it to implement has_admissible_extreme_rank().