OAI/AlgebraicGeometry/Seshadri/Sheaves/SupportedSheaf.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.FiniteSupport.sections_subsingleton_of_stalks line 16
2. lemma OAI.MaximalSeshadri.FiniteSupport.finite_closed_support_restriction_surjective line 26
3. lemma OAI.MaximalSeshadri.FiniteSupport.finite_closed_support_flasque line 71
4. lemma OAI.MaximalSeshadri.FiniteSupport.finite_closed_support_global_germ_surjective line 78