Theorem Nat.xor_mod_two_eq

Modification history

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