OAI/Geometry/SplitTangent/GenericFiniteCovering.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Generic Finite Covering.

  1. lemma OAI.FiniteOpenMaps.unique_in_branch line 18
  2. lemma OAI.FiniteOpenMaps.locally_injective_of_card_constant line 51
  3. lemma OAI.FiniteOpenMaps.isLocalHomeomorphOn_constantCardLocus line 67
  4. lemma OAI.FiniteOpenMaps.isCoveringMapOn_constantCardLocus line 78
  5. lemma OAI.FiniteOpenMaps.exists_dense_open_covering_locus line 84