mathlib

208d4fed - docs(data/pnat): add module docstrings (#7960)