OAI/AlgebraicGeometry/Seshadri/Cohomology/ToricPolynomial.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.PlaneCech.vertexPolynomial line 16
2. lemma OAI.MaximalSeshadri.PlaneCech.vertexPolynomial_X line 19
3. lemma OAI.MaximalSeshadri.PlaneCech.vertexPolynomial_monomial line 23
4. abbrev OAI.MaximalSeshadri.PlaneCech.vertexModule line 48
5. lemma OAI.MaximalSeshadri.PlaneCech.vertexModule_tower line 51
6. def OAI.MaximalSeshadri.PlaneCech.vertexSubmodule line 60
7. lemma OAI.MaximalSeshadri.PlaneCech.vertexSubmodule_finite line 77