`OAI/AlgebraicGeometry/Seshadri/Analytic/`

127 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

ConvergentSeries.lean 22 declarations
CoordinateJets.lean 18 declarations
EtaleJetCharts.lean 5 declarations
FormalSeries.lean 26 declarations
PointCharts.lean 9 declarations
PolynomialCharts.lean 17 declarations
TaylorCoefficients.lean 30 declarations