Theorem Nat.xor_cancel_left

Modification history