Theorem Multiset.sort_sorted

Modification history