Theorem Nat.xor_self

Modification history