OAI/AlgebraicGeometry/Seshadri/Geometry/FiniteSupportTwist.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MaximalSeshadri.Geometry.openSectionModule line 18
  2. def OAI.MaximalSeshadri.Geometry.openSectionRestriction line 22
  3. def OAI.MaximalSeshadri.Geometry.disjointSupportCoverEquiv line 28
  4. def OAI.MaximalSeshadri.Geometry.openSectionIso line 51
  5. def OAI.MaximalSeshadri.Geometry.tensorCokernelLocalIso line 78
  6. def OAI.MaximalSeshadri.Geometry.finiteSupportLocallyIsoGlobal line 101
  7. lemma OAI.MaximalSeshadri.Geometry.LineBundle.sectionSupport_closed_points line 166
  8. def OAI.MaximalSeshadri.Geometry.tensorCokernelGlobalEquiv line 186