OAI/Geometry/SplitTangent/HolomorphicLeafBasic.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Holomorphic Leaf Basic.

  1. lemma OAI.SplitTangent.AlignedProductChart.map_plaque_eventually_constant line 26
  2. lemma OAI.SplitTangent.AlignedProductChart.map_plaque_constant line 68
  3. lemma OAI.SplitTangent.LeafJetAtlas.holomorphic_map_eq_on_leaf line 84