Theorem Finset.mulConst_mul_card

Modification history