P
Initializing...
Via the gluing map, the overlap is the localization of the opposite chart away from its slope. · Prove2Me