OAI/Geometry/NodalSets/Elliptic/InitialPhasePolynomial.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Jets.linearPhase line 10
  2. def OAI.Yau.Jets.quadraticPhase line 12
  3. lemma OAI.Yau.Jets.linearPhase_homogeneous line 15
  4. lemma OAI.Yau.Jets.quadraticPhase_homogeneous line 20
  5. lemma OAI.Yau.Jets.pderiv_linearPhase line 30
  6. lemma OAI.Yau.Jets.pderiv_quadraticPhase line 34
  7. lemma OAI.Yau.Jets.pderiv_twice_quadraticPhase line 57
  8. def OAI.Yau.Jets.initialPhaseJet line 63
  9. lemma OAI.Yau.Jets.initialPhaseJet_homogeneous line 67
  10. lemma OAI.Yau.Jets.initialPhaseJet_first line 76
  11. theorem OAI.Yau.Jets.initialPhaseJet_second line 80
  12. lemma OAI.Yau.Jets.initialPhaseJet_continuous line 95