Theorem Polynomial.isMaximal_comap_C_of_isJacobsonRing

Modification history