OAI/Geometry/NodalSets/Elliptic/SmoothJet.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Jets.FlatAt line 10
2. lemma OAI.Yau.Jets.FlatAt.mono line 14
3. lemma OAI.Yau.Jets.FlatAt.add line 18
4. lemma OAI.Yau.Jets.FlatAt.sum line 27
5. theorem OAI.Yau.Jets.FlatAt.mul line 35
6. lemma OAI.Yau.Jets.FlatAt.fderiv line 50
7. lemma OAI.Yau.Jets.FlatAt.clm_comp line 57
8. lemma OAI.Yau.Jets.coordPartial_contDiff line 66
9. theorem OAI.Yau.Jets.FlatAt.coordPartial line 70
10. lemma OAI.Yau.Jets.fderiv_reval_eq line 77
11. theorem OAI.Yau.Jets.flatAt_reval line 83