Theory Multiset provides stable quicksort implementation of sort_key.
Theory Multiset provides stable quicksort implementation of sort_key.

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