Theorem Multiset.sup_singleton

Modification history