Theorem Multiset.noncommProd_eq_pow_card

Modification history