The point at infinity `(x, t/x)` of the `x`-chart: its completion is a concrete surface, a noetherian complete local ring in which `x` is a non-zero-divisor.

Initializing...

The point at infinity `(x, t/x)` of the `x`-chart: its completion is a concrete surface, a noetherian complete local ring in which `x` is a non-zero-divisor. · Prove2Me