Theorem Finset.card_smul_expect

Modification history