OAI/Geometry/QuadricBundles/
1140 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- Ampleness.lean 1 declarations
- BallAverage.lean 7 declarations
- BinaryForms.lean 82 declarations
- Charts.lean 41 declarations
- Compactness.lean 17 declarations
- Curvature.lean 32 declarations
- DiskHessian.lean 20 declarations
- DualForms.lean 62 declarations
- Embedding.lean 39 declarations
- Equalizer.lean 42 declarations
- Gluing.lean 16 declarations
- Graphs.lean 127 declarations
- HomogeneousClassification.lean 16 declarations
- LaurentCech.lean 66 declarations
- LineFactors.lean 35 declarations
- Main.lean 1 declarations
- MatrixDynamics.lean 41 declarations
- MatrixRepresentative.lean 25 declarations
- Model.lean 34 declarations
- Noncollapse.lean 11 declarations
- Plurisubharmonic.lean 32 declarations
- PointwiseRepresentative.lean 21 declarations
- PolynomialGeneration.lean 18 declarations
- ProjectiveEquations.lean 55 declarations
- RegularMatrices.lean 34 declarations
- Regularity.lean 27 declarations
- Removability.lean 41 declarations
- RootTrace.lean 29 declarations
- SymmetricFlags.lean 24 declarations
- TraceExtraction.lean 15 declarations
- TraceMetrics.lean 52 declarations
- TriangularSections.lean 31 declarations
- WeakBaseChange.lean 24 declarations
- WeakLimits.lean 22 declarations