mathlib3

doc(data/finsupp): module docs and docstrings

#2059

Merged