OAI/NumberTheory/PiExponent/Geometry/SupportedSheaf.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PiExponentSeshadri.FiniteSupport.sections_subsingleton_of_stalks line 11
2. lemma OAI.PiExponentSeshadri.FiniteSupport.finite_closed_support_restriction_surjective line 21
3. lemma OAI.PiExponentSeshadri.FiniteSupport.finite_closed_support_flasque line 66
4. lemma OAI.PiExponentSeshadri.FiniteSupport.finite_closed_support_global_germ_surjective line 73