Theorem Finset.card_mul_cast_subConst

Modification history