At a point of the first chart, the pullback of the surface function `f` factors in the completed local ring as `tᵈ · (local equation) · unit`.

Initializing...

At a point of the first chart, the pullback of the surface function `f` factors in the completed local ring as `tᵈ · (local equation) · unit`. · Prove2Me