Theorem Finset.cast_mulConst_mul_card

Modification history