Theorem Nat.even_xor_odd

Modification history