The quotient of the concrete surface by `t` is the power series ring `k[[X]]` over the residue field, compatibly with `residueKillT`.

Initializing...

The quotient of the concrete surface by `t` is the power series ring `k[[X]]` over the residue field, compatibly with `residueKillT`. · Prove2Me