Theorem Finset.card_mul_iff

Modification history