Theorem Polynomial.quotient_mk_comp_C_isIntegral_of_isJacobsonRing

Modification history