OAI/Geometry/SplitTangent/LeafAlgebraicDependence.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Leaf Algebraic Dependence.

  1. abbrev OAI.SplitTangent.RationalCurveFrames.leafFrame line 27
  2. lemma OAI.SplitTangent.RationalCurveFrames.leafFrame_continuousAt line 31
  3. theorem OAI.SplitTangent.RationalCurveFrames.leaf_coordinates_dependent line 47