OAI/AlgebraicGeometry/Seshadri/Divisors/SectionCokernel.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.Geometry.cokernel_stalk_subsingleton line 20
2. lemma OAI.MaximalSeshadri.Geometry.LineBundle.isoOpen_ne_bot line 46
3. lemma OAI.MaximalSeshadri.Geometry.LineBundle.cokernel_support_finite line 66
4. theorem OAI.MaximalSeshadri.Geometry.LineBundle.cokernel_flasque line 77