Theorem Ideal.Polynomial.isMaximal_comap_C_of_isJacobson'

Modification history