Commit 2023-02-19 22:52 f70764de

View on Github →

feat: port Data.Multiset.Interval (#2373)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/Multiset/Interval.lean

added theorem Multiset.Icc_eq

added theorem Multiset.card_Icc

added theorem Multiset.card_Ico

added theorem Multiset.card_Iic

added theorem Multiset.card_Ioc

added theorem Multiset.card_Ioo