The closed points of the `t`-chart of the concrete surface lying over the closed point are the origin, rational points `(t, x/t - α)` with `α` a unit, and non-rational points `(t, Φ(x/t))`.

Initializing...

The closed points of the `t`-chart of the concrete surface lying over the closed point are the origin, rational points `(t, x/t - α)` with `α` a unit, and non-rational points `(t, Φ(x/t))`. · Prove2Me