Theorem Finset.card_le_card_div_self

Modification history