OAI/Geometry/SplitTangent/RationalReparam.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Rational Reparam.

  1. def OAI.SplitTangent.RationalCurve.homogeneousValue line 16
  2. lemma OAI.SplitTangent.RationalCurve.homogeneousValue_finite line 19
  3. lemma OAI.SplitTangent.RationalCurve.homogeneousValue_infinity line 22
  4. lemma OAI.SplitTangent.RationalCurve.homogeneousValue_holomorphicAt line 28
  5. lemma OAI.SplitTangent.RationalCurve.homogeneousValue_smul line 42
  6. def OAI.SplitTangent.RationalCurve.mobius line 50
  7. theorem OAI.SplitTangent.RationalCurve.normalize_endpoints line 71