Commit 2023-02-01 18:32 5984407d
View on Github →feat: Port/Data.Finset.Finsupp (#1990) port of data.finset.finsupp only fixes to poor mathport capitalization and missing aligns + docu fixes
feat: Port/Data.Finset.Finsupp (#1990) port of data.finset.finsupp only fixes to poor mathport capitalization and missing aligns + docu fixes