generalized lemmas multiset_of_insort, multiset_of_sort, properties_for_sort for *_key variants
generalized lemmas multiset_of_insort, multiset_of_sort, properties_for_sort for *_key variants

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle