OAI/AlgebraicGeometry/Seshadri/Projective/GlobalQuartic.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.Projective.augmentedQuartics line 20
2. lemma OAI.MaximalSeshadri.Projective.augmentedQuartics_cover line 26
3. lemma OAI.MaximalSeshadri.Projective.restrict_doublePointQuartic line 46
4. lemma OAI.MaximalSeshadri.Projective.sectionCombination_extend_zero line 60
5. def OAI.MaximalSeshadri.Projective.doublePointQuarticIdeal line 68
6. lemma OAI.MaximalSeshadri.Projective.doublePointQuarticIdeal_restrict line 73