Theorem Polynomial.monic_finprod_of_monic

Modification history