Theorem Multiset.prod_erase

Modification history