Theorem Real.log_eq_zero

Modification history