Theorem Polynomial.Monic.of_mul_monic_right

Modification history