Theorem Finset.card_mul_mulConst

Modification history