Theorem Multiset.filter_singleton

Modification history