mathlib

e7131068 - docs(data/string/*): add module docstrings (#8144)