Theorem Subgroup.index_bot_eq_card

Modification history