Theorem Real.mul_infᵢ_of_nonneg

Modification history