mathlib3

3ee436d2 - docs(data/char): add module docstring (#8043)