mathlib

dc73d1bd - docs(data/*/sqrt): add one module docstring and expand the other (#7973)