Theorem Finset.sup_mul_le_mul_sup_of_nonneg

Modification history