At a common point of the two charts, the gluing isomorphism of completed local rings carries the left-chart strict transform of `J` to the right-chart strict transform.

Initializing...

At a common point of the two charts, the gluing isomorphism of completed local rings carries the left-chart strict transform of `J` to the right-chart strict transform. · Prove2Me