Theorem Nat.one_succ_zero

Modification history