Theorem Multiset.length_sort

Modification history