mathlib3
a1f17706 - Revert "chore(data/multiset): add a few lemmas"

Commit

5 years ago

Revert "chore(data/multiset): add a few lemmas" This reverts commit 45caa4f392fe4f7622fef576cf3811b9ff6fd307.

References

Author

urkud

Parents