isSubsetOf package:multiset

O(n+m). Is this a subset? (s1 `isSubsetOf` s2) tells whether s1 is a subset of s2.
O(n+m). Is this a subset? (s1 `isSubsetOf` s2) tells whether s1 is a subset of s2.