Theorem Nat.xor_zero

Modification history