Theorem Finset.div_card_le

Modification history