Theorem Multiset.prod_map_inv

Modification history