OAI/Geometry/NodalSets/Elliptic/CoordinatePartialJets.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Analysis.partialDirs line 11
2. def OAI.Yau.Analysis.partialJet line 15
3. lemma OAI.Yau.Analysis.partialJet_smooth line 19
4. lemma OAI.Yau.Analysis.partialJet_eq_iterated line 26
5. lemma OAI.Yau.Analysis.partialDirs_norm_le_one line 42