OAI/AlgebraicGeometry/Seshadri/Jets/NodalTaylor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.AnalyticCoordinates.localEquiv_comap_pow line 17
2. def OAI.MaximalSeshadri.AnalyticCoordinates.bivariateTaylor line 29
3. lemma OAI.MaximalSeshadri.AnalyticCoordinates.bivariateTaylor_eq line 33
4. lemma OAI.MaximalSeshadri.AnalyticCoordinates.bivariateTaylor_exactJets line 40
5. lemma OAI.MaximalSeshadri.AnalyticCoordinates.bivariateTaylor_comap_maximal line 69
6. lemma OAI.MaximalSeshadri.AnalyticCoordinates.bivariateTaylor_node line 82
7. theorem OAI.MaximalSeshadri.AnalyticCoordinates.local_nodal_colength line 99