Theorem Subgroup.exists_finset_card_le_mul

Modification history