OAI/Geometry/SplitTangent/QuotientSubmersions.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Quotient Submersions.

  1. lemma OAI.SplitTangent.LeafJetAtlas.QuotientChartData.chart_comp_quotient_eventuallyEq_rectangle line 26
  2. lemma OAI.SplitTangent.LeafJetAtlas.QuotientChartData.chart_comp_quotient_submersion_rectangle line 43
  3. lemma OAI.SplitTangent.LeafJetAtlas.QuotientChartData.chart_comp_quotient_submersion line 52
  4. lemma OAI.SplitTangent.LeafJetAtlas.QuotientChartData.chart_comp_quotient_kernel line 61