Theorem Nat.odd_iff_not_even

Modification history