OAI/AlgebraicGeometry/Seshadri/Jets/JetVanishing.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.AlgebraicJets.formalTrunc_eq_zero_iff line 15
2. lemma OAI.MaximalSeshadri.AlgebraicJets.binaryDegree line 24
3. lemma OAI.MaximalSeshadri.AlgebraicJets.analyticTrunc_zero_of_ideal_power line 32
4. theorem OAI.MaximalSeshadri.AlgebraicJets.mixedDeriv_zero_of_ideal_power line 54
5. lemma OAI.MaximalSeshadri.AlgebraicJets.mixedDeriv_shift line 78
6. theorem OAI.MaximalSeshadri.AlgebraicJets.mixedDeriv_zero_at_of_ideal_power line 91