Theorem Nat.xor_left_inj

Modification history