Theorem Fintype.card_mul_expect

Modification history