Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.mem_sup_support_iff
Modification history
2023-02-01 17:23
Mathlib/Data/Finsupp/BigOperators.lean
feat : port Data.Finsupp.BigOperators (#1982)
Added
Finset.mem_sup_support_iff
View on Github →