Theorem Nat.size_bit1

Modification history

2024-07-15 23:26

Mathlib/Data/Nat/Size.lean

chore: remove lemmas about bit0/bit1 (#14765) …

Deleted Nat.size_bit1 View on Github →

2024-07-15 11:16

Mathlib/Data/Nat/Size.lean

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

Modified Nat.size_bit1 View on Github →

2022-12-21 06:53

Mathlib/Data/Nat/Size.lean

feat: Port `Data.Nat.Size` (#1140) …

Added Nat.size_bit1 View on Github →