Theorem Polynomial.monic_multiset_prod_of_monic

Modification history