Theorem Multiset.prod_map_erase

Modification history