Theorem Multiset.prod_map_inv'

Modification history