Theorem Fintype.card_smul_expect

Modification history