Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finsupp.card_pi
Modification history
2024-10-22 21:02
Mathlib/Data/Finset/Finsupp.lean
chore(Data): use newly introduced finset notation (#18059) …
Modified
Finsupp.card_pi
View on Github →
2023-02-01 18:32
Mathlib/Data/Finset/Finsupp.lean
feat: Port/Data.Finset.Finsupp (#1990) …
Added
Finsupp.card_pi
View on Github →