mathlib3

a46b3e57 - doc(data/finsupp): module docs and docstrings (#2059)

doc(data/finsupp): module docs and docstrings (#2059) * doc(data/finsupp): module docs and docstrings * chore(data/finsupp): squeeze_simp, cleanup, style * reviewer comments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>