Theorem Real.supₛ_smul_of_nonneg

Modification history