Theorem Finset.centerMass_smul

Modification history