OAI/AlgebraicGeometry/Seshadri/Cohomology/ToricSpan.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.PlaneCech.monomialSpan line 16
2. lemma OAI.MaximalSeshadri.PlaneCech.shift_span_mem line 19
3. lemma OAI.MaximalSeshadri.PlaneCech.monomialSpan_le line 34
4. lemma OAI.MaximalSeshadri.PlaneCech.generator_mem_span line 42
5. theorem OAI.MaximalSeshadri.PlaneCech.finite_monomial_generators line 46
6. theorem OAI.MaximalSeshadri.PlaneCech.localized_span line 83