Theorem Nat.xor_right_injective

Modification history