Theorem Real.log_nat_cast_nonneg

Modification history