Theorem Finset.cast_mulConst

Modification history