Theorem Multiset.prod_bind

Modification history