Theorem Real.log_int_cast_nonneg

Modification history