OAI/Geometry/NodalSets/Elliptic/DirectionalJet.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Yau.Jets.Poly line 13
2. def OAI.Yau.Jets.direction line 15
3. def OAI.Yau.Jets.transverse line 18
4. def OAI.Yau.Jets.original line 22
5. lemma OAI.Yau.Jets.direction_C line 26
6. lemma OAI.Yau.Jets.direction_X line 30
7. lemma OAI.Yau.Jets.direction_C_mul line 34
8. lemma OAI.Yau.Jets.transverse_derivative line 39
9. lemma OAI.Yau.Jets.transverse_inverse line 48
10. lemma OAI.Yau.Jets.substitution_inverse line 63
11. lemma OAI.Yau.Jets.directional_substitution line 70
12. lemma OAI.Yau.Jets.transverse_homogeneous line 81
13. lemma OAI.Yau.Jets.original_homogeneous line 88
14. theorem OAI.Yau.Jets.homogeneous_directional_primitive line 95
15. lemma OAI.Yau.Jets.direction_eq_sum line 107
16. theorem OAI.Yau.Jets.complex_directional_primitive line 121