Theorem Nat.xor_cancel_right

Modification history

2026-04-17 09:59
Mathlib/Data/Nat/Bitwise.lean
chore: remove declarations deprecated between 2021-04-15 and 2025-10-15 (#38057) …
Deleted Nat.xor_cancel_rightView on Github →
2025-11-04 01:10
Mathlib/Data/Nat/Bitwise.lean
chore: adaptations for batteries#1441 (#30138)
Modified Nat.xor_cancel_rightView on Github →
2024-03-19 16:06
Mathlib/Data/Nat/Bitwise.lean
chore: Protect `Nat.xor_comm` (#11506) …
Added Nat.xor_cancel_rightView on Github →