Theorem Subgroup.rank_le_index_mul_rank

Modification history