OAI/AlgebraicGeometry/Seshadri/Sheaves/ModuleLocal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.ModuleLocal.app_zero_of_restrict line 15
2. lemma OAI.MaximalSeshadri.ModuleLocal.eq_zero_of_local line 28
3. lemma OAI.MaximalSeshadri.ModuleLocal.epi_of_local line 49
4. lemma OAI.MaximalSeshadri.ModuleLocal.mono_of_local line 62
5. lemma OAI.MaximalSeshadri.ModuleLocal.isIso_of_local line 75
6. lemma OAI.MaximalSeshadri.ModuleLocal.exact_of_local line 88