mathlib
1d5202ae - feat(data/multiset): add some lemmas about filter (eq x) (#10626)

Commit

4 years ago

feat(data/multiset): add some lemmas about filter (eq x) (#10626) Co-authored-by: Eric <wieser.eric@gmail.com>

Author

Ruben-VandeVelde

Parents