Theorem Finset.card_smul_le

Modification history