Theorem Multiset.sub_singleton

Modification history