OAI/MathematicalPhysics/Boltzmann/Compactness/
1464 declarations, 0 contain sorry, 0 declared as axioms; 95 files
Files
- ContinuationAdmissibility.lean 30 declarations
- EntropyCollisionIntegrability.lean 1 declarations
- EntropyDissipationAverage.lean 21 declarations
- EntropyDissipationCoordinates.lean 8 declarations
- EntropyIntegralBalance.lean 31 declarations
- EntropyLocalConstruction.lean 2 declarations
- EntropyRegularizationLimit.lean 5 declarations
- EntropyUniformIntegrability.lean 18 declarations
- FiniteDepthKernelOrder.lean 4 declarations
- FiniteEntryPhaseBound.lean 13 declarations
- FiniteGainHistoryComparison.lean 2 declarations
- FiniteHorizonRatio.lean 4 declarations
- FiniteParameterChain.lean 6 declarations
- FiniteRatesWindowUI.lean 7 declarations
- FiniteThermalLimit.lean 12 declarations
- KineticDensityMeasurable.lean 14 declarations
- KineticDilationIntegral.lean 8 declarations
- KineticEndpointCoordinates.lean 4 declarations
- KineticEntropyErrorLimit.lean 7 declarations
- KineticWindowL1.lean 15 declarations
- L1CurveEquality.lean 2 declarations
- L1TruncationCauchy.lean 18 declarations
- L1VelocityTranslationApproximation.lean 5 declarations
- LocalAdmissibility.lean 9 declarations
- LocalBeamBlock.lean 2 declarations
- LocalL1ApproximationLimit.lean 16 declarations
- LocalMomentIntegrability.lean 4 declarations
- LocalizedBlockComparison.lean 10 declarations
- LocalizedDampedBalance.lean 17 declarations
- LocalizedGainCompactness.lean 2 declarations
- LocalizedGainSmoothingAE.lean 21 declarations
- LocalizedHotMassGrowth.lean 5 declarations
- MeasurableResolvent.lean 3 declarations
- NormalizedCollisionRates.lean 34 declarations
- NormalizedGainCompactness.lean 5 declarations
- NormalizedKernelAction.lean 35 declarations
- NormalizedPairCompactness.lean 22 declarations
- PairBoundedTruncation.lean 27 declarations
- PairPatchCover.lean 2 declarations
- PairPatchIdentity.lean 13 declarations
- PairRepresentative.lean 5 declarations
- PairTranslatedProduct.lean 1 declarations
- PeriodicCharacteristicGainUnit.lean 6 declarations
- PeriodicDensityStrong.lean 8 declarations
- PeriodicExistenceDischarge.lean 2 declarations
- PeriodicFiniteGainStrong.lean 4 declarations
- PeriodicFiniteMild.lean 97 declarations
- PeriodicInitialEntropyLimit.lean 70 declarations
- PeriodicJointBudgetLimit.lean 35 declarations
- PeriodicLinearApproximation.lean 10 declarations
- PeriodicMildApproximation.lean 73 declarations
- PeriodicMomentEntropy.lean 60 declarations
- PeriodicRenormalizedCompactness.lean 22 declarations
- PeriodicSourceBound.lean 1 declarations
- PeriodicStrongAverages.lean 51 declarations
- PeriodicWeakCompactness.lean 46 declarations
- PhysicalCharacteristic.lean 5 declarations
- PhysicalDissipationBridge.lean 4 declarations
- PhysicalEntropyProduction.lean 3 declarations
- PhysicalEvolution.lean 79 declarations
- PhysicalFrequencyWindow.lean 12 declarations
- PhysicalGainStrictTime.lean 7 declarations
- PhysicalGainTransport.lean 6 declarations
- PhysicalGlobalRenormalized.lean 21 declarations
- PhysicalLinearContinuous.lean 37 declarations
- PrefixComparisonConvergence.lean 4 declarations
- RenormalizedCollisionIntegrability.lean 3 declarations
- RenormalizedIntegrability.lean 42 declarations
- SelectedCoreSelection.lean 21 declarations
- SelectedLargeOutput.lean 11 declarations
- SelectedNonaxialLimit.lean 7 declarations
- SelectedOriginDeletion.lean 22 declarations
- SelectedRemainderMeasure.lean 2 declarations
- SelectedTwoGainLimit.lean 7 declarations
- SelectedWindowDeletion.lean 1 declarations
- StrongCompactPairTests.lean 25 declarations
- StrongMassClip.lean 18 declarations
- StrongMildRepresentative.lean 8 declarations
- StrongPairMoment.lean 7 declarations
- UniformAverageCompactness.lean 2 declarations
- UniformGain.lean 29 declarations
- UniformGainTranslation.lean 2 declarations
- UniformIntegrability.lean 15 declarations
- UniformIntegrableCoordinates.lean 4 declarations
- UniformIntegrableGainTail.lean 4 declarations
- WeakCapOuterBound.lean 3 declarations
- WeakConservedMarginal.lean 6 declarations
- WeakDuhamelLimit.lean 1 declarations
- WeakEntropyMarginal.lean 6 declarations
- WeakL1Operations.lean 52 declarations
- WeakL1ToWeakStar.lean 15 declarations
- WeakLinearMomentLimit.lean 3 declarations
- WeakTimeBalance.lean 1 declarations
- WeakTimeLocalization.lean 7 declarations
- WeakTimeSurvival.lean 7 declarations