Theorem Finset.inf'_mul_le_mul_inf'_of_nonneg

Modification history