Theorem Ideal.MvPolynomial.quotient_mk_comp_C_isIntegral_of_jacobson

Modification history