Theorem Nat.add_one_ne_zero

Modification history