OAI/Geometry/NodalSets/Elliptic/RecursiveJet.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Yau.Jets.CPoly line 8
2. abbrev OAI.Yau.Jets.Jet line 9
3. theorem OAI.Yau.Jets.finite_triangular_jets line 11
4. def OAI.Yau.Jets.gradientJet line 46
5. lemma OAI.Yau.Jets.gradientJet_congr line 49
6. def OAI.Yau.Jets.eikonalKnown line 57
7. def OAI.Yau.Jets.eikonalCoefficient line 64
8. lemma OAI.Yau.Jets.eikonalKnown_congr line 72
9. lemma OAI.Yau.Jets.direction_apply line 94
10. lemma OAI.Yau.Jets.direction_two line 107
11. theorem OAI.Yau.Jets.eikonalCoefficient_split line 116
12. lemma OAI.Yau.Jets.pderiv_homogeneous line 136
13. lemma OAI.Yau.Jets.direction_homogeneous line 145
14. theorem OAI.Yau.Jets.finite_eikonal_jets line 152