Theorem Polynomial.isMaximal_comap_C_of_isMaximal

Modification history