OAI/AlgebraicGeometry/Seshadri/Interpolation/
239 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- ActualInterpolation.lean 6 declarations
- AllCurveLowerBound.lean 2 declarations
- AllSectionQuadrilateral.lean 1 declarations
- CompressionRanks.lean 18 declarations
- ConvergentSeries.lean 24 declarations
- CyclicLattices.lean 17 declarations
- EtaleQuadrilateral.lean 1 declarations
- GermInterpolation.lean 8 declarations
- InitialBasis.lean 22 declarations
- LaurentJets.lean 16 declarations
- LaurentMoments.lean 14 declarations
- Moments.lean 18 declarations
- PolynomialBounds.lean 4 declarations
- PrimitiveDirections.lean 6 declarations
- QuadrilateralRows.lean 20 declarations
- RowCompression.lean 9 declarations
- SeshadriUpper.lean 6 declarations
- SeshadriUpperNumerics.lean 1 declarations
- SurfaceQuadrilateral.lean 1 declarations
- TorusJets.lean 6 declarations
- TriangleJets.lean 17 declarations
- VeryGeneralInterpolation.lean 1 declarations
- WeightedRescaling.lean 21 declarations