Theorem Real.log_natCast_nonneg

Modification history