OAI/Geometry/SplitTangent/ManifoldLeafJets.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Manifold Leaf Jets.

  1. def OAI.SplitTangent.AlignedProductChart.jet line 22
  2. lemma OAI.SplitTangent.AlignedProductChart.jet_eq_zero_iff line 28
  3. lemma OAI.SplitTangent.AlignedProductChart.coordinate_function_analytic line 46
  4. lemma OAI.SplitTangent.AlignedProductChart.transition_derivative line 55
  5. theorem OAI.SplitTangent.AlignedProductChart.jet_independent line 74
  6. theorem OAI.SplitTangent.AlignedProductChart.jet_smul line 111
  7. lemma OAI.SplitTangent.AlignedProductChart.jet_supported line 129
  8. lemma OAI.SplitTangent.AlignedProductChart.jet_symmetric line 151
  9. lemma OAI.SplitTangent.AlignedProductChart.jet_congr line 159
  10. lemma OAI.SplitTangent.AlignedProductChart.jet_add line 170
  11. lemma OAI.SplitTangent.AlignedProductChart.jet_csmul line 183
  12. lemma OAI.SplitTangent.AlignedProductChart.jet_zero line 194