Theorem Nat.length_digits

Modification history

2026-03-19 04:12
Mathlib/Data/Nat/Digits/Lemmas.lean
chore(Data/Nat/Digits): rename `digits_len` to `digits_length` (#36830) …
Added Nat.length_digitsView on Github →