Commit 2024-03-19 16:06 82e96fe9

View on Github →

chore: Protect Nat.xor_comm (#11506) as it conflicts with xor_comm in the root namespace. Also protect Nat.xor_assoc in case someone adds xor_assoc.

Estimated changes

Modified Mathlib/Data/Nat/Bitwise.lean

deleted theorem Nat.lxor_cancel_right

deleted theorem Nat.xor_assoc

added theorem Nat.xor_cancel_right

deleted theorem Nat.xor_comm

Modified Mathlib/SetTheory/Game/Nim.lean