Theorem Finset.card_mul_cast_addConst

Modification history