Theorem Real.log_nonpos_iff

Modification history