OAI/AlgebraicGeometry/Seshadri/Nodal/NodalNumericalDegree.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MaximalSeshadri.Geometry.generated_power_euler_of_iso line 16
2. theorem OAI.MaximalSeshadri.Geometry.generated_curveDegree_of_power_iso line 62
3. theorem OAI.MaximalSeshadri.Geometry.doublePointQuartic_curveDegree line 87