P
Initializing...
At a prime of the overlap, the completed local ring of the overlap is the completed local ring of the chart at the contracted prime. · Prove2Me