Theorem Multiset.mem_sort

Modification history