Theorem Nat.xor'_eq_xor

Modification history