Commit 2020-09-26 15:49 88e198a1

feat(data/multiset): count repeat lemma (#4278) A small lemma and renaming (of count_repeat to count_repeat_self) to count elements in a multiset.repeat. One part of #4259.