Commit 2025-01-06 12:46 88c4a940
View on Github →chore(Data/Multiset/Basic): move the sub
, union
, inter
sections lower (#19863)
- Move the sections about
sub
,union
andinter
under the sections aboutcount
andfilter
Multiset.countP_sub
now has a different argument order to matchList.countP_diff
- Golf
List.count_sub
- Name the instances and declare them using
where
notation - Define
Multiset.card
usingQuotient.lift
, notQuotient.liftOn