mathlib3

39cea43a - docs(data/subtype): add module docstring (#8900)