OAI/MathematicalPhysics/Boltzmann/Approximation/
1130 declarations, 0 contain sorry, 0 declared as axioms; 69 files
Files
- CapActualLossDensity.lean 24 declarations
- CapAnnularMassGrowth.lean 21 declarations
- CapCoefficientExtraction.lean 32 declarations
- CapColdAverages.lean 32 declarations
- CapColdBounds.lean 55 declarations
- CapCoveredDamping.lean 33 declarations
- CapDilationCompactness.lean 58 declarations
- CapDilationScales.lean 16 declarations
- CapEntropyMoments.lean 11 declarations
- CapEscapingSeed.lean 30 declarations
- CapFiniteBackgroundLimit.lean 47 declarations
- CapHotSourceIntegrability.lean 15 declarations
- CapHotTransportBalance.lean 17 declarations
- CapHotUndamped.lean 83 declarations
- CapLabelFreeLimit.lean 39 declarations
- CapLimitTransport.lean 23 declarations
- CapLocalAdmissibility.lean 1 declarations
- CapLossScaling.lean 1 declarations
- CapMildLimit.lean 10 declarations
- CapMixedCollisionLimits.lean 38 declarations
- CapMixedPositiveBound.lean 10 declarations
- CapMomentBound.lean 5 declarations
- CapNonlinearHotLimit.lean 24 declarations
- CapPairMoments.lean 24 declarations
- CapUniformFiniteHorizon.lean 5 declarations
- CapWeightedNonlinearLimit.lean 2 declarations
- CappedDensitySequence.lean 15 declarations
- CappedTightness.lean 5 declarations
- ColoredDifferenceAlgebra.lean 13 declarations
- ColoredSourceDifferenceAE.lean 4 declarations
- CutoffEntropyMeasure.lean 5 declarations
- CutoffLipschitz.lean 10 declarations
- CutoffLossFrequency.lean 12 declarations
- DormantBoxLimit.lean 6 declarations
- DormantConstruction.lean 15 declarations
- MassNormalizedCollisionLimits.lean 32 declarations
- MildCharacteristics.lean 15 declarations
- MildConservation.lean 18 declarations
- MildCurveContinuity.lean 5 declarations
- MildDensityAgreement.lean 2 declarations
- MildInitialAE.lean 3 declarations
- MildLocalAdmissibility.lean 1 declarations
- MildRenormalization.lean 15 declarations
- MildRenormalizedBalance.lean 17 declarations
- PositiveAccessAngles.lean 3 declarations
- PositiveComparisonBound.lean 13 declarations
- PositiveContributionsIntegrable.lean 7 declarations
- PositiveEndpointHistory.lean 9 declarations
- PositiveIntegralBound.lean 4 declarations
- PositiveIntegralFixedPoint.lean 17 declarations
- PositiveIntegralPasting.lean 12 declarations
- PositiveIntegralTime.lean 3 declarations
- PositiveIntegralWindow.lean 4 declarations
- PositiveMildRepresentative.lean 8 declarations
- PositiveNonlinearLimit.lean 2 declarations
- PositiveRestrictedChain.lean 14 declarations
- PositiveSourceFormula.lean 46 declarations
- PositiveVolterra.lean 36 declarations
- PositiveVolterraOffAxisAE.lean 2 declarations
- RegularizedCollisionDifference.lean 5 declarations
- RegularizedDissipationBound.lean 1 declarations
- RegularizedEntropyIntegrability.lean 3 declarations
- RegularizedLogBounds.lean 5 declarations
- ResolventAverageBound.lean 14 declarations
- SubcapCapLocalAdmissibility.lean 9 declarations
- SubcapColdControl.lean 18 declarations
- SubcapMildLimits.lean 34 declarations
- SurvivalProfile.lean 10 declarations
- SurvivalVolterraIntegrable.lean 2 declarations