OAI/Analysis/BiholderTransport/Calculus/
160 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- ActionCalculus.lean 2 declarations
- CompactParameterJets.lean 6 declarations
- CompactSmoothGrowth.lean 2 declarations
- DerivativeNegLowerCrossing.lean 1 declarations
- ExactScalarBounds.lean 5 declarations
- FiberJet.lean 3 declarations
- FiniteSmoothTransverseGrowth.lean 1 declarations
- FiniteTaylor.lean 7 declarations
- FullSet.lean 8 declarations
- Gradient.lean 1 declarations
- HopfGradient.lean 7 declarations
- HopfGradientBound.lean 1 declarations
- ImplicitNeighborhood.lean 3 declarations
- JetPullback.lean 7 declarations
- JetTranslation.lean 2 declarations
- LocalCostGradient.lean 1 declarations
- LocalCostSmooth.lean 1 declarations
- LocalMetricGradient.lean 1 declarations
- LowerTaylorComposition.lean 1 declarations
- MaximumScalarJets.lean 1 declarations
- MixedContinuity.lean 1 declarations
- ModifiedScalarDerivatives.lean 2 declarations
- OuterDerivativeBound.lean 1 declarations
- PartialCalculus.lean 6 declarations
- PartialDerivatives.lean 2 declarations
- PathCalculus.lean 7 declarations
- PhaseGraphDerivative.lean 1 declarations
- PhaseJet.lean 3 declarations
- PoleJetAlgebra.lean 3 declarations
- RiemannianContinuous.lean 1 declarations
- SampleJetData.lean 2 declarations
- SamplePoleDerivative.lean 2 declarations
- ScalarFamily.lean 5 declarations
- ScalarFamilyBounds.lean 3 declarations
- ScalarInverseJet.lean 2 declarations
- ScalarJetFormula.lean 3 declarations
- ScalarJetNeighborhood.lean 1 declarations
- ScalarSecond.lean 3 declarations
- SecondDerivativeLinearSandwich.lean 5 declarations
- SecondDerivativeSlice.lean 3 declarations
- SecondDerivativeTaylor.lean 1 declarations
- SecondFderivScalarComp.lean 1 declarations
- SecondTaylorComposition.lean 5 declarations
- ShortGradientLimit.lean 1 declarations
- ShortPoleIdentities.lean 1 declarations
- ShortSmoothFamily.lean 2 declarations
- SliceDerivatives.lean 4 declarations
- SmoothDistance.lean 3 declarations
- SmoothExtensionNear.lean 1 declarations
- TaylorAlgebra.lean 5 declarations
- TaylorBound.lean 2 declarations
- TaylorPositivity.lean 1 declarations
- TrueCenterGradient.lean 4 declarations
- TrueCenterJet.lean 7 declarations
- TrueCenterJetBuild.lean 1 declarations
- UniformCostTaylor.lean 3 declarations
- WeightedDefect.lean 1 declarations