Theorem Real.log_nonneg_iff

Modification history