Theorem Nat.size_eq_bits_len

Modification history

2022-12-21 06:53
Mathlib/Data/Nat/Size.lean
feat: Port `Data.Nat.Size` (#1140) …
Added Nat.size_eq_bits_lenView on Github →