OAI/Geometry/NodalSets/Elliptic/UniformRecursiveJet.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Jets.ContinuousPolyFamily.neg line 10
2. lemma OAI.Yau.Jets.ContinuousPolyFamily.sub line 14
3. lemma OAI.Yau.Jets.ContinuousPolyFamily.pderiv line 19
4. lemma OAI.Yau.Jets.ContinuousPolyFamily.homogeneousComponent line 23
5. theorem OAI.Yau.Jets.finite_triangular_jets_continuous line 28