Theorem Nat.even_iff_not_odd

Modification history