Theorem Nat.Odd.sub_odd

Modification history