erase_dup): Alias for `multiset.erase_dup_eq_self` (#9587)

Commit

4 years ago

feat(data/multiset/erase_dup): Alias for `multiset.erase_dup_eq_self` (#9587) The new `multiset.nodup.erase_dup` allows dot notation.

Author

YaelDillies

Parents