How can I remove all occurrences of a sub-multiset in Isabelle?

Question

So I\'d like to define a function (we\'ll call it applied) that would get rid of all occurrences of a sub-multiset within another multiset and replace each occurren