OAI/Geometry/SplitTangent/TransverseQuotient.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Transverse Quotient.

  1. lemma OAI.SplitTangent.LeafJetAtlas.leafQuotient_constant_plaque line 22
  2. lemma OAI.SplitTangent.LeafJetAtlas.quotient_rectangle_image line 30
  3. def OAI.SplitTangent.LeafJetAtlas.transverseQuotient line 42
  4. lemma OAI.SplitTangent.LeafJetAtlas.continuous_transverseQuotient line 46
  5. lemma OAI.SplitTangent.LeafJetAtlas.isOpenMap_transverseQuotient line 57
  6. lemma OAI.SplitTangent.LeafJetAtlas.transverseQuotient_fiber_isDiscrete line 72
  7. lemma OAI.SplitTangent.LeafJetAtlas.transverseQuotient_fiber_finite line 83