Theorem Real.log_zero

Modification history