Theorem Nat.odd_sub'

Modification history