mathlib

de6d739d - docs(data/nat/dist): add module docstring (#7966)