multiset): add `prod_map_erase` for `list` and `multiset` (#15808)

Commit

3 years ago

feat(algebra/big_operators/multiset): add `prod_map_erase` for `list` and `multiset` (#15808)

Author

astrainfinita

Parents