OAI/Geometry/IsometricImmersion/Taylor/
176 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- ActualDarbouxFaa.lean 6 declarations
- ActualTaylorFiniteJets.lean 1 declarations
- ActualUniformTaylorPulse.lean 1 declarations
- ActualUniformTaylorRich.lean 1 declarations
- ChainResidual.lean 14 declarations
- ChainTermDerivative.lean 17 declarations
- FiniteTaylorComparison.lean 11 declarations
- ScalarChainExpansion.lean 13 declarations
- TaylorCauchyData.lean 7 declarations
- TaylorCoefficientBounds.lean 8 declarations
- TaylorInitialStateBound.lean 3 declarations
- TaylorInitialVelocity.lean 3 declarations
- TaylorJetStability.lean 8 declarations
- TaylorPolynomialJetBounds.lean 9 declarations
- TaylorQJetBounds.lean 7 declarations
- TaylorRemainderBound.lean 3 declarations
- TaylorResidual.lean 12 declarations
- TaylorSeparatedProduct.lean 16 declarations
- TaylorUpperCauchyBounds.lean 1 declarations
- TimeTaylorKernel.lean 8 declarations
- TopChainExtraction.lean 14 declarations
- UniformTaylorDenominator.lean 5 declarations
- UniformTaylorPolynomial.lean 3 declarations
- UniformTaylorPulse.lean 3 declarations
- UniformTaylorStrip.lean 2 declarations