Commit 2024-10-21 01:17 4f5e6c17

View on Github →

feat(Data/Nat/Bitwise): add simp lemmas (#17977) Upstreamed from the EquationalTheories project.

Estimated changes

Modified Mathlib/Data/Nat/Bitwise.lean

added theorem Nat.even_xor

added theorem Nat.xor_mod_two_eq