OAI/Analysis/AncientFlat/Evolution/
510 declarations, 0 contain sorry, 0 declared as axioms; 136 files
Files
- ActualClassical.lean 4 declarations
- AncientMild.lean 1 declarations
- BCFTimeDerivative.lean 1 declarations
- BackwardModel.lean 4 declarations
- BetaRow.lean 5 declarations
- BoxOscillation.lean 2 declarations
- C0Ascoli.lean 1 declarations
- ChangingPair.lean 2 declarations
- ClassicalAncient.lean 1 declarations
- ClassicalAncientCore.lean 1 declarations
- ClassicalAncientWindow.lean 1 declarations
- ClassicalEvolution.lean 1 declarations
- ClassicalRHS.lean 7 declarations
- ClassicalSpatial.lean 8 declarations
- Commutator.lean 1 declarations
- CompactDifference.lean 1 declarations
- CompactDifferenceCore.lean 1 declarations
- ConstantEvolution.lean 11 declarations
- ConstantPowers.lean 9 declarations
- ConstantRepresentation.lean 4 declarations
- CoreMismatchC4.lean 1 declarations
- CoreProfile.lean 11 declarations
- CutoffCore.lean 15 declarations
- CutoffEvolution.lean 4 declarations
- DilationContinuity.lean 3 declarations
- DilationCore.lean 13 declarations
- DilationDerivatives.lean 3 declarations
- DuhamelCocycle.lean 3 declarations
- EarlyIntegral.lean 1 declarations
- EarlyRows.lean 1 declarations
- EvolutionAlgebra.lean 4 declarations
- EvolutionCore.lean 1 declarations
- EvolutionFamily.lean 2 declarations
- EvolutionUniqueness.lean 3 declarations
- FamilyCancellation.lean 1 declarations
- FiniteCoreApply.lean 2 declarations
- FiniteCoreCalculus.lean 8 declarations
- FiniteCoreError.lean 1 declarations
- FiniteCoreLaplacian.lean 2 declarations
- FiniteCoreScaling.lean 8 declarations
- FiniteDifference.lean 9 declarations
- FinitePhysicalAncient.lean 2 declarations
- FiniteScaling.lean 5 declarations
- FiniteSourceBound.lean 7 declarations
- FrozenAverage.lean 1 declarations
- GammaBetaRow.lean 2 declarations
- GammaRHS.lean 5 declarations
- GammaRowIntegral.lean 4 declarations
- GeneralWindows.lean 4 declarations
- HeatDilation.lean 2 declarations
- HomogeneousUniqueness.lean 1 declarations
- InitialClosure.lean 1 declarations
- InitialCoefficients.lean 5 declarations
- InitialContinuation.lean 3 declarations
- InitialCore.lean 1 declarations
- InitialCover.lean 3 declarations
- InitialModel.lean 1 declarations
- InitialPaste.lean 8 declarations
- InitialSource.lean 3 declarations
- InitialWindows.lean 2 declarations
- LocalExtensionAlgebra.lean 6 declarations
- LocalExtensionContinuity.lean 3 declarations
- LocalWeakToStrong.lean 4 declarations
- LocalizedFrozen.lean 3 declarations
- LowerInitialContinuation.lean 1 declarations
- LowerNearConstant.lean 1 declarations
- LowerOrderCore.lean 2 declarations
- LowerTopInterior.lean 1 declarations
- LowerWindows.lean 4 declarations
- MeasurableSpace.lean 2 declarations
- MeasurableTime.lean 2 declarations
- MildSymmetry.lean 1 declarations
- MovingBounds.lean 10 declarations
- MovingCoefficients.lean 1 declarations
- MovingEvaluation.lean 1 declarations
- MovingNorm.lean 2 declarations
- MovingScalar.lean 4 declarations
- MovingSource.lean 9 declarations
- MovingSymmetry.lean 4 declarations
- MovingUnique.lean 1 declarations
- NearConstant.lean 1 declarations
- OrthogonalCalculus.lean 5 declarations
- PairClassical.lean 6 declarations
- PhysicalAncient.lean 1 declarations
- PhysicalCompact.lean 5 declarations
- PhysicalCore.lean 5 declarations
- PhysicalFourthLocal.lean 1 declarations
- PhysicalFromWindow.lean 1 declarations
- PhysicalProfileBridge.lean 7 declarations
- PhysicalWindow.lean 8 declarations
- PreliminaryAncient.lean 1 declarations
- RenormalizedSource.lean 4 declarations
- RowContinuity.lean 13 declarations
- RowIntegral.lean 5 declarations
- RowLinearity.lean 2 declarations
- ScaledEquation.lean 5 declarations
- SemigroupNormalize.lean 7 declarations
- SemigroupSymmetry.lean 2 declarations
- SharpPrincipal.lean 2 declarations
- ShiftedEvolution.lean 1 declarations
- ShiftedSource.lean 1 declarations
- ShortWithin.lean 2 declarations
- SimilarityCovariance.lean 4 declarations
- SimilarityFamily.lean 1 declarations
- SimilaritySource.lean 2 declarations
- SourceC0.lean 6 declarations
- SourceClassical.lean 1 declarations
- SourceDerivative.lean 1 declarations
- SourceDuhamel.lean 2 declarations
- SourceEvolution.lean 2 declarations
- SourceEvolves.lean 6 declarations
- SourceInitialDerivative.lean 1 declarations
- SourceResponse.lean 3 declarations
- SourceStep.lean 9 declarations
- SpaceRescaling.lean 5 declarations
- StrongAction.lean 3 declarations
- StrongClassicalEvolution.lean 1 declarations
- SupNorm.lean 6 declarations
- TimeFamilyEnvelope.lean 5 declarations
- TimeGreen.lean 13 declarations
- TimeOneLipschitz.lean 3 declarations
- TimeOneTails.lean 4 declarations
- TimePaste.lean 3 declarations
- TimeRescaling.lean 5 declarations
- TopSeminorm.lean 7 declarations
- TraceFour.lean 16 declarations
- TranslatedDerivative.lean 2 declarations
- TwistedDuhamel.lean 2 declarations
- UniformC0.lean 1 declarations
- UniformLipschitz.lean 2 declarations
- VariableRows.lean 8 declarations
- VariableSpace.lean 5 declarations
- VariableTime.lean 2 declarations
- VariableTimeCancellation.lean 1 declarations
- WeakToStrong.lean 8 declarations
- ZeroSourceResponse.lean 1 declarations