Theorem Nat.even_xor

Modification history

2024-10-21 01:17
Mathlib/Data/Nat/Bitwise.lean
feat(Data/Nat/Bitwise): add simp lemmas (#17977) …
Added Nat.even_xorView on Github →