Theorem Nat.even_xor_odd'

Modification history