A ring map `Λ : A → R'` to a concrete surface, under which `P` is the preimage of the parameter ideal, extends to the completed local ring of `A` at `P`.

Initializing...

A ring map `Λ : A → R'` to a concrete surface, under which `P` is the preimage of the parameter ideal, extends to the completed local ring of `A` at `P`. · Prove2Me