OAI/AlgebraicGeometry/Seshadri/Blowup/ReesSections.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.InvertibleLocal.frame_ideal line 18
2. theorem OAI.MaximalSeshadri.ReesGrading.generator_section line 47
3. theorem OAI.MaximalSeshadri.ReesGrading.generator_section_open line 81
4. theorem OAI.MaximalSeshadri.ReesGrading.exceptional_affine_section_cover line 166