mathlib

edb72b44 - docs(data/real/*): add module docstrings (#8145)