A closed point of degree `δ ≥ 2` on the exceptional line of the `t`-chart is cut out by an unramified lift `Φ` of degree `δ`, and its completed local ring is a concrete surface over `AdjoinRoot Φ` wit

Initializing...

A closed point of degree `δ ≥ 2` on the exceptional line of the `t`-chart is cut out by an unramified lift `Φ` of degree `δ`, and its completed local ring is a concrete surface over `AdjoinRoot Φ` wit · Prove2Me