OAI/AlgebraicGeometry/Seshadri/Geometry/
204 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- AffineBundleFinite.lean 3 declarations
- AffineLineFinite.lean 2 declarations
- AmpleFromCover.lean 3 declarations
- AmplePowers.lean 1 declarations
- ChartCoherence.lean 5 declarations
- ChartPolynomial.lean 3 declarations
- CurveFinite.lean 3 declarations
- CurveFiniteMap.lean 2 declarations
- CurveMultiplicity.lean 2 declarations
- CurvePencil.lean 1 declarations
- CurveProjection.lean 2 declarations
- EtaleAffineTest.lean 1 declarations
- EtaleDimension.lean 4 declarations
- EtaleLowerDimension.lean 3 declarations
- EtalePointChart.lean 8 declarations
- EtaleRealization.lean 2 declarations
- EtaleRegularPair.lean 5 declarations
- FiniteScheme.lean 5 declarations
- FiniteSupportTwist.lean 8 declarations
- FreePresentation.lean 2 declarations
- FreeVertexClearing.lean 4 declarations
- GeneralQuadraticNumerics.lean 3 declarations
- GeneratedEtaleCoordinates.lean 13 declarations
- GeometricDivision.lean 7 declarations
- IntegralImage.lean 3 declarations
- LineClosedUnit.lean 4 declarations
- LocalCoordinateAtlas.lean 2 declarations
- LocalQuadratic.lean 6 declarations
- NestedChart.lean 5 declarations
- NormalizedMixed.lean 4 declarations
- PencilCharts.lean 5 declarations
- PencilCokernel.lean 2 declarations
- PencilOverlap.lean 2 declarations
- PlaneBoundaries.lean 24 declarations
- PlaneChartAlgebra.lean 5 declarations
- PlaneCoordinates.lean 11 declarations
- PolynomialLattices.lean 2 declarations
- PrincipalSequence.lean 3 declarations
- ProperGlobalField.lean 4 declarations
- RelativeProjectivity.lean 2 declarations
- ResidualZero.lean 3 declarations
- SmoothAffineRefinement.lean 4 declarations
- SmoothSurfaceDimension.lean 2 declarations
- SubsystemCoordinates.lean 3 declarations
- SurfaceAffineCover.lean 5 declarations
- SurfaceDenseProjection.lean 2 declarations
- SurfaceProjection.lean 2 declarations
- SurfaceTopGrowth.lean 6 declarations
- TwoChartFinite.lean 1 declarations