Theorem Nat.even_or_odd

Modification history