Theorem Nat.xor_cancel_right

Modification history

2024-03-19 16:06
Mathlib/Data/Nat/Bitwise.lean
chore: Protect `Nat.xor_comm` (#11506) …
Added Nat.xor_cancel_rightView on Github →