Theorem Multiset.sort_singleton

Modification history