A degree-one point on the exceptional line of the `t`-chart has slope `α` with `α = 0` or a unit, and its completed local ring is a concrete surface over `O` with explicit parameters.

Initializing...

A degree-one point on the exceptional line of the `t`-chart has slope `α` with `α = 0` or a unit, and its completed local ring is a concrete surface over `O` with explicit parameters. · Prove2Me