Theorem Finset.card_mul_eq_card_mul

Modification history