mathlib

59954c19 - docs(data/pfun): add module docstring and def docstrings (#8629)