feat(Nat/Digits/Lemma): add a lemma to unfold Nat.digitsAppend#39752

xroblot wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

xroblot:add_digitsappend_defxroblot/mathlib4:add_digitsappend_defCopy head branch name to clipboard