Def bit1

Modification history

2024-07-15 11:16

Mathlib/Init/ZeroOne.lean

chore: remove bit0/bit1 and associated lemmas (#14745) …

Deleted bit1 View on Github →

2024-06-15 14:58

Mathlib/Init/ZeroOne.lean

chore(*): more `since :=` in `deprecated` (#13839)

Modified bit1 View on Github →

2022-10-24 02:02

Mathlib/Init/ZeroOne.lean

feat: align `init.{core, logic}` (#490) …

Added bit1 View on Github →