OAI/Geometry/NodalSets/Elliptic/TaylorPolynomial.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Jets.tensorPolynomial line 11
2. lemma OAI.Yau.Jets.coord_basis_sum line 16
3. theorem OAI.Yau.Jets.reval_tensorPolynomial line 20
4. lemma OAI.Yau.Jets.tensorPolynomial_homogeneous line 34
5. def OAI.Yau.Jets.taylorPolynomial line 44
6. theorem OAI.Yau.Jets.reval_taylorPolynomial line 48
7. theorem OAI.Yau.Jets.taylorPolynomial_remainder line 57