Theorem Polynomial.monic_prod_of_monic

Modification history