Theorem Nat.log_mono

Modification history