P
Initializing...
Ring maps out of a blow-up chart agree once they agree on `R` and on the slope. · Prove2Me