Theorem Finset.card_le_card_div_left

Modification history