Theorem Nat.odd_sub

Modification history