OAI/Geometry/NodalSets/Elliptic/SeedLogConcreteJets.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Target.seedRealGradient line 10
  2. def OAI.Yau.Target.seedImagGradient line 11
  3. lemma OAI.Yau.Target.seedLogReal_first_at_point line 13
  4. lemma OAI.Yau.Target.seedLogImag_first_at_point line 23
  5. lemma OAI.Yau.Target.seedLogReal_second_at_point line 33
  6. lemma OAI.Yau.Target.seedRealGradient_tangent line 44
  7. lemma OAI.Yau.Target.seedImagGradient_tangent line 48
  8. lemma OAI.Yau.Target.seedRealGradient_pair line 52
  9. lemma OAI.Yau.Target.seedImagGradient_pair line 61
  10. lemma OAI.Yau.Target.seedGradient_geometry line 67