Theorem Multiset.mem_sup_map_support_iff

Modification history

2023-02-01 17:23
Mathlib/Data/Finsupp/BigOperators.lean
feat : port Data.Finsupp.BigOperators (#1982)
Added Multiset.mem_sup_map_support_iffView on Github →