Theorem Multiset.erase_singleton

Modification history