Def Int.xor

Modification history

2023-10-19 20:25

Mathlib/Init/Data/Int/Bitwise.lean

chore: protect `Int.xor` (#7757) …

Deleted Int.xor View on Github →

2023-10-18 16:31

Mathlib/Init/Data/Int/Bitwise.lean

chore: remove `Nat.bitwise'` (#7451) …

Added Int.xor View on Github →