Theorem Finset.mulConst_le_divConst_sq

Modification history