Commit 2022-04-12 08:46 85588f87
View on Github →feat(data/multiset): lemmas on intersecting a multiset with repeat x n (#13355)
Intersecting a multiset s with repeat x n gives repeat x (min n (s.count x)).
feat(data/multiset): lemmas on intersecting a multiset with repeat x n (#13355)
Intersecting a multiset s with repeat x n gives repeat x (min n (s.count x)).