5. surfaces and charts🔗

Riemann-surface foundations: charted spaces from local homeomorphisms, ULift transport of manifold structure, the holomorphic inverse function theorem on manifolds, and the underlying real 2-manifold of a Riemann surface.

6 modules, 529 lines, under Jacobians/Surface/.

1. 5.1. Keystones
2. 5.2. Surface
3. 5.3. Surface.ChartedSpaceOfLocalHomeomorph
4. 5.4. Surface.ContMDiffOmegaAnalytic
5. 5.5. Surface.ManifoldIFT
6. 5.6. Surface.RealManifold
7. 5.7. Surface.ULiftManifold