Add `SetUnfoldElemOf` instance of `dom` on `gmultiset`
Merged
requested to merge marijnvanwezel/stdpp:marijnvanwezel/SetUnfoldElemOf_dom_gmultiset into master
Compare changes
This adds a SetUnfoldElemOf instance for dom on gmultiset to solve #232 (closed).