mathlib3

204ca5f9 - docs(data/fin2): add module docstring (#8047)