OAI/AlgebraicGeometry/Seshadri/Intersection/
168 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- AllCurveDegree.lean 3 declarations
- AmbientCurveDegree.lean 2 declarations
- AmpleCurveDegree.lean 4 declarations
- ArbitraryCartierEuler.lean 3 declarations
- BivariateSurfaceEuler.lean 5 declarations
- CartierEuler.lean 2 declarations
- CurveCartierEuler.lean 3 declarations
- CurveDegreeAdditivity.lean 3 declarations
- CurveDegreePositive.lean 2 declarations
- CurveIdealDegree.lean 4 declarations
- CurvePowerDegree.lean 3 declarations
- CurveSectionDegree.lean 4 declarations
- EffectiveDegree.lean 2 declarations
- EulerExact.lean 18 declarations
- ExactDimensionBound.lean 2 declarations
- FiniteEuler.lean 5 declarations
- FiniteIntersection.lean 2 declarations
- FiniteLineEuler.lean 3 declarations
- GeneralSurfaceEuler.lean 1 declarations
- GlobalIntersectionLength.lean 2 declarations
- IdealProductDegree.lean 12 declarations
- IntegralCurveEuler.lean 3 declarations
- IntegralSectionDimension.lean 1 declarations
- IntersectionBilinear.lean 7 declarations
- IntersectionCurveIso.lean 6 declarations
- IntersectionEuler.lean 2 declarations
- LocalSectionDegree.lean 11 declarations
- MixedIntersection.lean 2 declarations
- OpenChartDegree.lean 8 declarations
- PencilIntersection.lean 2 declarations
- PositiveSquareEffectivity.lean 2 declarations
- QuadraticSequence.lean 4 declarations
- QuotientIntersection.lean 1 declarations
- SchematicIntersection.lean 1 declarations
- SectionDimension.lean 3 declarations
- SectionEuler.lean 5 declarations
- SurfaceCurveDegree.lean 5 declarations
- SurfaceEuler.lean 5 declarations
- SurfacePositiveSquare.lean 5 declarations
- SurfaceQuadraticEuler.lean 5 declarations
- SurfaceTwistEuler.lean 3 declarations
- TwistNumerics.lean 1 declarations
- TwoChartIntersection.lean 1 declarations