Theorem Nat.sub_one

Modification history