mathlib

1a419a9f - feat(data/nat/digits): add digits_lt_base (#3246)