Theorem Multiset.sort_eq

Modification history