OAI/Geometry/NodalSets/Elliptic/StereographicSecondDerivative.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Target.stereoReciprocal line 13
  2. def OAI.Yau.Target.stereoNumerator line 15
  3. lemma OAI.Yau.Target.stereoReciprocal_hasFDerivAt line 17
  4. lemma OAI.Yau.Target.stereoNumerator_hasFDerivAt line 27
  5. lemma OAI.Yau.Target.stereoInvFunAux_fderiv line 35
  6. lemma OAI.Yau.Target.stereoReciprocal_zero_hasFDerivAt line 49
  7. lemma OAI.Yau.Target.stereoInvFunAux_second line 53
  8. lemma OAI.Yau.Target.stereoInvFunAux_second_fderiv line 71