Theorem Nat.log_zero_left

Modification history