OAI/AlgebraicGeometry/Seshadri/Intersection/SurfaceQuadraticEuler.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MaximalSeshadri.Geometry.generated_power_euler_difference line 18
2. lemma OAI.MaximalSeshadri.Geometry.Surface.euler_power_one line 63
3. lemma OAI.MaximalSeshadri.Geometry.Surface.euler_power_second_difference line 68
4. theorem OAI.MaximalSeshadri.Geometry.Surface.power_euler_quadratic line 75
5. theorem OAI.MaximalSeshadri.Geometry.generated_curveDegree_eq_power_selfIntersection line 113