mathlib
31c73c1d - feat(data/multiset): map_eq_map_of_bij_of_nodup (#1590)

Commit

6 years ago

feat(data/multiset): map_eq_map_of_bij_of_nodup (#1590)

References

#1590 - feat(data/multiset): map_eq_map_of_bij_of_nodup

Author

ChrisHughes24

ChrisHughes24

Committer

mergify[bot]

mergify[bot]

Parents

Loading