Theorem Nat.toDigits_length

Modification history

2025-04-17 16:41
Mathlib/Data/Nat/Digits.lean
feat: Nat.toDigits_length (#24126) …
Added Nat.toDigits_lengthView on Github →