Theorem Multiset.ssubset_singleton_iff

Modification history