Theorem Nat.bit_true

Modification history

2024-07-15 11:16

Mathlib/Data/Nat/Bitwise.lean

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

Modified Nat.bit_true View on Github →

2023-01-09 08:09

Mathlib/Data/Nat/Bitwise.lean

feat: port Data.Nat.Bitwise (#1404) …

Added Nat.bit_true View on Github →