Def Nat.testBit

Modification history

2023-11-30 23:41

Mathlib/Init/Data/Nat/Bitwise.lean

chore: bump Std, changes for leanprover/std4#366 (#8700) …

Deleted Nat.testBit View on Github →

2022-12-21 04:42

Mathlib/Init/Data/Nat/Bitwise.lean

feat: port Data.Nat.Bits (#1095) …

Added Nat.testBit View on Github →