OAI/AlgebraicGeometry/PlaneCurves/
2532 declarations, 0 contain sorry, 0 declared as axioms; 117 files
Files
- AffineMultiplicity.lean 32 declarations
- AnalyticFactorization.lean 16 declarations
- AnalyticJets.lean 12 declarations
- AnalyticOrder.lean 17 declarations
- AnalyticScaling.lean 14 declarations
- AnalyticTaylor.lean 7 declarations
- ArithmeticReduction.lean 12 declarations
- AssociatedBundles.lean 41 declarations
- Automorphic.lean 41 declarations
- Avoidance.lean 12 declarations
- BasisNoncancellation.lean 13 declarations
- BinaryForms.lean 33 declarations
- ChartGradients.lean 5 declarations
- ChartJets.lean 59 declarations
- ChartMultiplicityBridge.lean 23 declarations
- CoefficientBlocks.lean 28 declarations
- CoefficientIdeals.lean 12 declarations
- CoefficientSpaces.lean 11 declarations
- CoefficientTransforms.lean 7 declarations
- Collision.lean 4 declarations
- CollisionBounds.lean 21 declarations
- Configuration.lean 68 declarations
- ConstantSections.lean 9 declarations
- CoverNormal.lean 13 declarations
- CubicEquations.lean 11 declarations
- CubicEvaluation.lean 16 declarations
- CubicGeometry.lean 29 declarations
- CubicMap.lean 46 declarations
- CubicRelations.lean 6 declarations
- CycleMultiplicity.lean 40 declarations
- DividedFamilies.lean 19 declarations
- EffectiveCurves.lean 42 declarations
- Enclosure.lean 35 declarations
- ExponentMatrices.lean 20 declarations
- ExponentSets.lean 17 declarations
- Factorization.lean 35 declarations
- FixedCurveSections.lean 3 declarations
- Forms.lean 35 declarations
- Fourier.lean 24 declarations
- FrechetMultiplicity.lean 14 declarations
- FullTarget.lean 12 declarations
- GaussianBounds.lean 17 declarations
- GeometricCollision.lean 6 declarations
- Gluing.lean 25 declarations
- GraphOrder.lean 11 declarations
- HomogeneousFamilies.lean 25 declarations
- HomogeneousIdeals.lean 18 declarations
- HomogeneousOrder.lean 8 declarations
- Homogenization.lean 14 declarations
- IdealCycles.lean 19 declarations
- Incidence.lean 14 declarations
- InfiniteProducts.lean 9 declarations
- Interpolation.lean 27 declarations
- Intervals.lean 13 declarations
- JetGerms.lean 12 declarations
- KernelBridges.lean 6 declarations
- LaurentCoefficients.lean 33 declarations
- LineBases.lean 34 declarations
- LineConfigurations.lean 33 declarations
- LineGeometry.lean 16 declarations
- LineIntersections.lean 15 declarations
- LineNormalData.lean 14 declarations
- LineObstructions.lean 34 declarations
- LineRestriction.lean 35 declarations
- LineSmoothness.lean 12 declarations
- LowDegree.lean 29 declarations
- MarkedCubic.lean 42 declarations
- MarkedDisplacements.lean 29 declarations
- MarkedPoints.lean 15 declarations
- MatrixLimits.lean 19 declarations
- MixedDerivatives.lean 14 declarations
- MovingConfigurations.lean 17 declarations
- MovingLines.lean 13 declarations
- MultiplierBundles.lean 36 declarations
- Multipliers.lean 31 declarations
- Nagata.lean 11 declarations
- NecessarySections.lean 5 declarations
- NormalCharts.lean 21 declarations
- NormalCoefficients.lean 30 declarations
- NormalPolynomials.lean 25 declarations
- NormalSpecialization.lean 8 declarations
- NormalizedExponents.lean 9 declarations
- Parameters.lean 23 declarations
- PolynomialAvoidance.lean 6 declarations
- PolynomialBases.lean 15 declarations
- PolynomialBlocks.lean 11 declarations
- PolynomialJets.lean 41 declarations
- ProjectiveMultiplicity.lean 31 declarations
- ProjectiveTopology.lean 10 declarations
- QuotientSections.lean 53 declarations
- RationalKernels.lean 17 declarations
- RelationIdeals.lean 11 declarations
- RowData.lean 34 declarations
- Rows.lean 31 declarations
- ScaledMatrices.lean 3 declarations
- SectionBases.lean 22 declarations
- SectionDimensions.lean 14 declarations
- SectionKernels.lean 27 declarations
- SectionOrder.lean 12 declarations
- SquareLinear.lean 36 declarations
- SquareNormal.lean 16 declarations
- SquareReduction.lean 3 declarations
- TaylorMultiplicity.lean 29 declarations
- ThetaCoefficients.lean 22 declarations
- ThetaEvaluation.lean 20 declarations
- ThetaExponents.lean 38 declarations
- ThetaLimits.lean 22 declarations
- ThetaMatrices.lean 10 declarations
- ThetaPolynomialBases.lean 7 declarations
- ThetaProducts.lean 40 declarations
- ThetaSections.lean 27 declarations
- ThetaSeries.lean 37 declarations
- TorusCharts.lean 59 declarations
- TorusConfigurations.lean 50 declarations
- UniversalFamilies.lean 10 declarations
- UniversalReduction.lean 16 declarations
- UniversalSections.lean 11 declarations