Theorem Multiset.mem_singleton

Modification history