mathlib3

89b8e0b2 - docs(data/option/defs): add module and def docstrings (#8042)