Theorem Nat.sub_succ'

Modification history