Theorem Finset.divConst_le_mulConst_sq

Modification history