The completion of the `t`-chart at a closed point over the closed point of the concrete surface is a noetherian complete local domain.

Initializing...

The completion of the `t`-chart at a closed point over the closed point of the concrete surface is a noetherian complete local domain. · Prove2Me