OAI/Analysis/AncientFlat/Regularity/
540 declarations, 0 contain sorry, 0 declared as axioms; 85 files
Files
- ActualBoundedJets.lean 2 declarations
- BallInterpolation.lean 4 declarations
- ClassicalHolder.lean 1 declarations
- CommutatorHolder.lean 1 declarations
- CommutatorJets.lean 7 declarations
- CompactHolder.lean 4 declarations
- CompactLocalHolder.lean 1 declarations
- CompactSupport.lean 1 declarations
- ConstantResidual.lean 4 declarations
- ConstantSchauder.lean 1 declarations
- CoreApplyHolder.lean 2 declarations
- CoreCorrectionHolder.lean 3 declarations
- CoreErrorHolder.lean 1 declarations
- CoreHolderJets.lean 5 declarations
- CoreLaplacianHolder.lean 2 declarations
- CoreMismatchHolder.lean 1 declarations
- CoreSchauder.lean 4 declarations
- CorrectionSourceClassical.lean 1 declarations
- CutoffHolder.lean 1 declarations
- CutoffRegularity.lean 4 declarations
- FiniteCoreCorrection.lean 1 declarations
- FiniteJetBootstrap.lean 1 declarations
- FiniteLocalJets.lean 1 declarations
- FourthInterpolation.lean 1 declarations
- FreezingResidual.lean 5 declarations
- FrozenHolder.lean 1 declarations
- FrozenLongSchauder.lean 3 declarations
- FrozenSchauder.lean 2 declarations
- GammaBoundedJets.lean 2 declarations
- GammaCorrection.lean 5 declarations
- GeneralAbsorption.lean 1 declarations
- GeometricAbsorption.lean 1 declarations
- HolderAlgebra.lean 7 declarations
- HolderC0Extension.lean 2 declarations
- HolderContinuity.lean 7 declarations
- HolderExtension.lean 3 declarations
- HolderProducts.lean 4 declarations
- HolderTimeChange.lean 2 declarations
- InitialJetModel.lean 1 declarations
- InitialSchauder.lean 1 declarations
- InterpolationAlgebra.lean 2 declarations
- InterpolationEpsilon.lean 3 declarations
- JetSpaceHolder.lean 2 declarations
- JetTimeHolder.lean 1 declarations
- LocalHolder.lean 1 declarations
- LowerInitialSchauder.lean 1 declarations
- LowerInteriorSchauder.lean 1 declarations
- LowerJet.lean 3 declarations
- LowerNestedEstimate.lean 2 declarations
- LowerOrderHolder.lean 3 declarations
- LowerUnitInterpolation.lean 1 declarations
- LowerWindowEstimate.lean 1 declarations
- MeasurableHolder.lean 1 declarations
- MildHolder.lean 1 declarations
- MovingFourthHolder.lean 1 declarations
- NestedEstimate.lean 2 declarations
- NestedL2.lean 1 declarations
- NormalizedJets.lean 1 declarations
- ParabolicInterpolation.lean 1 declarations
- PhysicalFiniteJets.lean 2 declarations
- PointInterpolation.lean 2 declarations
- ProductJets.lean 1 declarations
- ReferenceEstimate.lean 3 declarations
- ResidualBudget.lean 3 declarations
- ResidualSmoothing.lean 337 declarations
- ScaledJets.lean 10 declarations
- SchauderCancel.lean 2 declarations
- SchauderJet.lean 3 declarations
- SchauderJetTime.lean 2 declarations
- SchauderKernel.lean 3 declarations
- SchauderLag.lean 11 declarations
- SchauderSpace.lean 7 declarations
- SchauderTime.lean 2 declarations
- SharpCorrection.lean 3 declarations
- SharpResidual.lean 2 declarations
- ShortHolder.lean 3 declarations
- ShortInterpolation.lean 1 declarations
- SourceHolderEvolution.lean 2 declarations
- TimeScalarHolder.lean 1 declarations
- TopInteriorEstimate.lean 1 declarations
- UniformCorrection.lean 1 declarations
- UniformSourceCorrection.lean 1 declarations
- UnitInterpolation.lean 2 declarations
- VariableSchauder.lean 1 declarations
- WithinInterpolation.lean 4 declarations