Theorem Finset.card_le_card_div_right

Modification history