doc(data/finsupp): module docs and docstrings (#2059) · anrddh/mathlib@18ee071 · GitHub

Commit

doc(data/finsupp): module docs and docstrings (leanprover-community#…

Browse files

…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>

Loading branch information

2 people authored and anrddh committed May 16, 2020

1 parent 2075144 commit 18ee071