Def Int.div2

Modification history

2024-04-05 07:33

Mathlib/Data/Int/Bitwise.lean

chore: Delete `Init.Data.Nat.Bitwise` and `Init.Data.Int.Bitwise` (#11898) …

Modified Int.div2 View on Github →

2023-01-02 08:14

Mathlib/Init/Data/Int/Bitwise.lean

feat: port Data.Int.Bitwise (#1159) …

Added Int.div2 View on Github →