Theorem Subgroup.nat_card_dvd_of_injective

Modification history