For monic `F` of degree `r > 0` whose lower coefficients lie in the maximal ideal, the quotient of the concrete surface `(1, 1, 0)` by `F(x)` is `O`-isomorphic to `AdjoinRoot F`, compatibly with evalu

Initializing...

For monic `F` of degree `r > 0` whose lower coefficients lie in the maximal ideal, the quotient of the concrete surface `(1, 1, 0)` by `F(x)` is `O`-isomorphic to `AdjoinRoot F`, compatibly with evalu · Prove2Me