digits): refactor into sections (#3527)

Commit

5 years ago

refactor(data/nat/digits): refactor into sections (#3527) Refactor `data.nat.digits` into sections and grouping similar lemmas together.

Author

shingtaklam1324

Parents