mathlib3
doc(data/finsupp): module docs and docstrings
#2059
Merged

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

mergify merged 4 commits into master from finsupp_doc
bryangingechen
bryangingechen doc(data/finsupp): module docs and docstrings
9e6c8f9a
bryangingechen chore(data/finsupp): squeeze_simp, cleanup, style
6d8ebfe1
robertylewis
robertylewis commented on 2020-02-26
bryangingechen reviewer comments
09c47771
robertylewis
robertylewis approved these changes on 2020-02-27
robertylewis robertylewis added ready-to-merge
mergify[bot] Merge branch 'master' into finsupp_doc
0a5151ae
mergify mergify merged a46b3e57 into master 6 years ago
bryangingechen bryangingechen deleted the finsupp_doc branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone