The completed local ring at the point at infinity of a concrete surface is a concrete member of shape `(a + b, a)` over the same coefficient ring, with the expected boundary parameters.

Initializing...

The completed local ring at the point at infinity of a concrete surface is a concrete member of shape `(a + b, a)` over the same coefficient ring, with the expected boundary parameters. · Prove2Me