mathlib

b1ecc987 - feat(nat/digits): natural basis representation using list sum and map (#5975)

feat(nat/digits): natural basis representation using list sum and map (#5975) Co-authored-by: Yakov Pechersky <ffxen158@gmail.com> Co-authored-by: Yakov Pechersky <ffxen158@gmail.com>