OAI/Geometry/SplitTangent/HolomorphicLocalDiffeomorph.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Holomorphic Local Diffeomorph.

  1. theorem OAI.HolomorphicLocalDiffeomorph.of_analytic_partial_homeomorph line 20
  2. theorem OAI.HolomorphicLocalDiffeomorph.normed_ift line 49
  3. theorem OAI.HolomorphicLocalDiffeomorph.congr_eventually line 68
  4. theorem OAI.HolomorphicLocalDiffeomorph.chart_local line 84
  5. theorem OAI.HolomorphicLocalDiffeomorph.chart_symm_local line 92
  6. theorem OAI.HolomorphicLocalDiffeomorph.manifold_ift line 102