Theorem MvPolynomial.comp_C_integral_of_surjective_of_isJacobsonRing

Modification history