Theorem Subgroup.rank_congr

Modification history