Theorem Multiset.erase_zero

Modification history