mathlib3
feat(data/finsupp): generalise support in finsupp
#17211

Open

feat(data/finsupp): generalise support in finsupp #17211

zeramorphic wants to merge 3 commits into master from zeramorphic/finsupp_refactor

feat(data/finsupp): generalise support in finsupp

ae75ef1c

Fix defeq break in ring_theory/power_series

3549fccc

Fix lints

6dca9009

zeramorphic requested a review from

eric-wieser 3 years ago

eric-wieser commented on 2022-10-27

kim-em added awaiting-author

kim-em added merge-conflict

kim-em added awaiting-CI

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-author merge-conflict awaiting-CI too-late

Milestone

No milestone