OAI/Geometry/NodalSets/Elliptic/EikonalPolynomial.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Jets.polynomialEikonal line 9
2. lemma OAI.Yau.Jets.gradientJet_polynomial line 12
3. lemma OAI.Yau.Jets.eikonal_convolution line 21
4. theorem OAI.Yau.Jets.eikonalCoefficient_eq line 47
5. theorem OAI.Yau.Jets.polynomial_eikonal_jets line 78