Theorem Subgroup.relindex_bot_left_eq_card

Modification history