Theorem Nat.digitsAux.go_succ

Modification history

2025-10-05 11:42
Mathlib/Data/Nat/Digits/Defs.lean
feat(Nat/Digits): use fuel in `Nat.digits` (#25864) …
Added Nat.digitsAux.go_succView on Github →