Theorem Multiset.erase_comm

Modification history