Theorem Finset.card_mul_expect

Modification history