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

Estimated changes

added theorem Finset.card_finsupp
added theorem Finset.mem_finsupp_iff
added theorem Finsupp.card_pi
added theorem Finsupp.mem_pi
added def Finsupp.pi