OAI/AlgebraicGeometry/Seshadri/Jets/
164 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- AnalyticFullRank.lean 5 declarations
- AnalyticNode.lean 10 declarations
- BinaryJetDimension.lean 3 declarations
- CenteredJetChart.lean 7 declarations
- CenteredRationalJet.lean 1 declarations
- CoordinateEquivalences.lean 13 declarations
- EffectiveJetFrames.lean 1 declarations
- EffectiveJets.lean 1 declarations
- EtaleAnalytic.lean 2 declarations
- FormalAdic.lean 20 declarations
- FormalEtale.lean 19 declarations
- JetOpenConfigurations.lean 1 declarations
- JetOpenness.lean 8 declarations
- JetVanishing.lean 6 declarations
- LocalQuotients.lean 5 declarations
- NodalTaylor.lean 7 declarations
- PolynomialJets.lean 29 declarations
- QuadraticJets.lean 22 declarations
- SectionJetDimensions.lean 3 declarations
- UniformAnalyticAlgebra.lean 1 declarations