OAI/MathematicalPhysics/Boltzmann/Branching/
3237 declarations, 0 contain sorry, 0 declared as axioms; 254 files
Files
- AccessAngleStability.lean 3 declarations
- AccessAngularFubini.lean 2 declarations
- AdmissibleDatumCongruence.lean 1 declarations
- AeKernelHistoryOrder.lean 4 declarations
- AeLocalizedHotMassGrowth.lean 1 declarations
- AeWindowPatching.lean 1 declarations
- AffineSlices.lean 8 declarations
- AlmostEverywhereGrowth.lean 2 declarations
- AttenuationGap.lean 7 declarations
- AverageFourierTail.lean 3 declarations
- AverageMajorant.lean 3 declarations
- AveragedPairIntegrability.lean 2 declarations
- AveragingTailSources.lean 4 declarations
- AxisInput.lean 16 declarations
- AxisMismatch.lean 11 declarations
- BackgroundBeamCloseness.lean 6 declarations
- BackgroundCappedLoss.lean 36 declarations
- BackwardCellBound.lean 1 declarations
- BoundedAverageCompactness.lean 3 declarations
- BoundedAverageProducts.lean 5 declarations
- BoundedCollisionBlocks.lean 44 declarations
- BoundedEntropyProduction.lean 9 declarations
- BoundedEntryPortion.lean 9 declarations
- BoundedGeometricBlock.lean 20 declarations
- BoundedL1Tests.lean 4 declarations
- BoundedMeshStep.lean 19 declarations
- BoundedMildEntropyLimit.lean 2 declarations
- BoundedPairRate.lean 4 declarations
- BoundedVelocityIntegral.lean 5 declarations
- CausalConvolution.lean 2 declarations
- CellLocalizedSource.lean 12 declarations
- CenteredPeriodicBound.lean 2 declarations
- CentralRetainedLimit.lean 9 declarations
- CharacteristicCoordinates.lean 5 declarations
- CharacteristicCutoffGeometry.lean 8 declarations
- CharacteristicPhysicalGain.lean 10 declarations
- CharacteristicProductTest.lean 16 declarations
- ChartPointLift.lean 25 declarations
- ClampedMildAE.lean 4 declarations
- ClippedCharacteristicGain.lean 19 declarations
- ClippedColdFiniteLimit.lean 10 declarations
- ClippedColdShift.lean 4 declarations
- ClippedColdTime.lean 9 declarations
- ClippedProductionLimit.lean 6 declarations
- CommonBoundedAverageCompactness.lean 1 declarations
- CommonHistoryCore.lean 2 declarations
- CommonMomentEnvelope.lean 9 declarations
- CommonStartGeometry.lean 5 declarations
- CompactCapFamily.lean 5 declarations
- CompactParameterConvergence.lean 22 declarations
- ComplexWeakL2Diagonal.lean 8 declarations
- CompressedAxialDecay.lean 2 declarations
- ConditionalMain.lean 1 declarations
- ControlledParameterPath.lean 4 declarations
- CumulativeIntervalBalance.lean 6 declarations
- DampedBoundedEndpointTransport.lean 37 declarations
- DampedBranchingBlocks.lean 39 declarations
- DampedCollisionHistories.lean 76 declarations
- DampedEndpointHistories.lean 43 declarations
- DampedLateBoxPhysicalBlock.lean 35 declarations
- DampedLocalBeamBlock.lean 4 declarations
- DatumBounds.lean 26 declarations
- DensityCompactness.lean 3 declarations
- DiagonalVanishingCap.lean 5 declarations
- DilatedCoreDensity.lean 10 declarations
- DilatedTwoCoreLimit.lean 25 declarations
- DilationBoxOrder.lean 3 declarations
- DissipationMassExhaustion.lean 2 declarations
- DoubleCollisionTests.lean 78 declarations
- EndpointHistoryMass.lean 3 declarations
- EnergyCollisionMarginals.lean 5 declarations
- EnergyTruncation.lean 6 declarations
- EntrySites.lean 7 declarations
- EuclideanBackwardMap.lean 6 declarations
- EuclideanKineticMap.lean 22 declarations
- ExponentialPairIntegrability.lean 4 declarations
- ExtendedProductionScale.lean 1 declarations
- FamilyHotBounds.lean 1 declarations
- FanNullSet.lean 4 declarations
- FirstEntryMass.lean 4 declarations
- FiveGainConvergence.lean 37 declarations
- FiveGainPullback.lean 46 declarations
- FiveGainRank.lean 127 declarations
- FlightConeLocalization.lean 2 declarations
- FlightMeasure.lean 4 declarations
- FullDissipationLimit.lean 1 declarations
- GainEntropyTail.lean 2 declarations
- GainMeasureLimit.lean 2 declarations
- GainNonnegative.lean 12 declarations
- GainSmoothingError.lean 7 declarations
- GrowthContradiction.lean 3 declarations
- HalfGaussianMoment.lean 15 declarations
- HistoryWeightNormalization.lean 2 declarations
- HotCanonicalFamily.lean 2 declarations
- HotChartHomeomorph.lean 16 declarations
- HotCollisionDecomposition.lean 8 declarations
- HotFullVanishingContradiction.lean 1 declarations
- HotGainReduction.lean 21 declarations
- HotPairWindowGeometry.lean 6 declarations
- HotPhysicalSource.lean 38 declarations
- HotPositiveRegion.lean 16 declarations
- HotQuadraticGain.lean 56 declarations
- HotRatioCollisionTrace.lean 8 declarations
- HotSeedCoreLower.lean 51 declarations
- HotWindowGeometry.lean 6 declarations
- HotWindowInput.lean 1 declarations
- InMeasureDifference.lean 3 declarations
- IncomingLossRate.lean 32 declarations
- InitialLinearComparison.lean 2 declarations
- IntegrablePathTrace.lean 1 declarations
- IntegralSurvival.lean 1 declarations
- InteriorCell.lean 7 declarations
- InverseFourierL2.lean 3 declarations
- L2PairingBound.lean 2 declarations
- LargeOutput.lean 17 declarations
- LateBoxAccessMeasure.lean 19 declarations
- LateBoxCommonDamping.lean 6 declarations
- LimitFullPositiveSurvival.lean 3 declarations
- LinearCharacteristicBalance.lean 10 declarations
- LinearHotLocalization.lean 4 declarations
- LinearSurvivalIdentity.lean 1 declarations
- LogRenormalization.lean 4 declarations
- LogarithmicIteration.lean 3 declarations
- LossIntegrability.lean 10 declarations
- LossResidualLimit.lean 3 declarations
- MainCoreScaleWindow.lean 10 declarations
- MainParameters.lean 2 declarations
- MainPositiveRemainderBound.lean 16 declarations
- MarginalUniformIntegrability.lean 4 declarations
- MarkedWaitLower.lean 3 declarations
- MaxwellianFrequency.lean 1 declarations
- MediumEndpointTransport.lean 11 declarations
- MediumStateCollision.lean 39 declarations
- MismatchSlices.lean 9 declarations
- MixedPhysicalMeasures.lean 48 declarations
- MixedRealGain.lean 16 declarations
- MomentAverageBound.lean 7 declarations
- Moments.lean 10 declarations
- MomentumCollisionIntegrability.lean 1 declarations
- MovingBoxMass.lean 2 declarations
- MovingCutoffWeakLimit.lean 1 declarations
- NearbyMainCopies.lean 2 declarations
- NonnegativeGainCongruence.lean 2 declarations
- NormalGainMeasureActions.lean 24 declarations
- NormalOutgoingSymmetry.lean 13 declarations
- NormalReflectionGeometry.lean 9 declarations
- OccupationSliceIntegral.lean 1 declarations
- OffAxisBoxExhaustion.lean 9 declarations
- OuterTightness.lean 4 declarations
- OutgoingPairIntegral.lean 1 declarations
- PairwiseSubsequenceCauchy.lean 1 declarations
- PeriodicExistenceReduction.lean 4 declarations
- PerturbedFiniteBlock.lean 47 declarations
- PhaseDecompositionNorm.lean 26 declarations
- PhaseSliceLocalization.lean 4 declarations
- PhaseSourceMeasure.lean 7 declarations
- PlaneChart.lean 19 declarations
- PowerDiskMixture.lean 16 declarations
- ProductKineticCutoff.lean 7 declarations
- ProductionDualLimit.lean 17 declarations
- ProjectedTimeBalance.lean 1 declarations
- PublishedInputs.lean 15 declarations
- PullbackCoordinates.lean 1 declarations
- PullbackRegularLimit.lean 15 declarations
- RadialReflectionChangeVariables.lean 14 declarations
- RateDissipationMonotone.lean 1 declarations
- RationalUniformApproximation.lean 20 declarations
- RawPairCompactness.lean 6 declarations
- RealL1ApproximationLimit.lean 2 declarations
- RebuiltHotCapBound.lean 2 declarations
- RebuiltHotInitial.lean 4 declarations
- RebuiltHotRegularity.lean 3 declarations
- RedundantParameterSupport.lean 19 declarations
- RedundantPlaneIntegral.lean 24 declarations
- ReferenceAngularCharts.lean 133 declarations
- ReferenceBranchingHistories.lean 77 declarations
- ReferenceCollisionGeometry.lean 115 declarations
- ReferenceFlightLaws.lean 109 declarations
- ReferenceGrowthBlocks.lean 44 declarations
- ReferenceHistoryMoments.lean 77 declarations
- ReferenceMinorization.lean 81 declarations
- RegularChart.lean 6 declarations
- RelativeCutoffConvergence.lean 5 declarations
- RelativeEntropyMarginal.lean 4 declarations
- RenormalizationBounds.lean 3 declarations
- RescaledBoundedGain.lean 5 declarations
- RescaledColdMajorant.lean 1 declarations
- RescaledParameterSlab.lean 8 declarations
- RestrictedCone.lean 7 declarations
- RetainedAxialDecay.lean 8 declarations
- RetainedWindowDeletion.lean 1 declarations
- RightAverageBound.lean 2 declarations
- ScaledBlockMass.lean 8 declarations
- ScaledBoundedEvent.lean 22 declarations
- ScaledMassAgreement.lean 2 declarations
- SecondCoreOffBands.lean 1 declarations
- SeedEscapeMeasure.lean 15 declarations
- SeparatedMeasureTail.lean 22 declarations
- SeparationBoxContainment.lean 6 declarations
- ShiftedStripe.lean 6 declarations
- SliceUniformLimit.lean 1 declarations
- SlopedChart.lean 10 declarations
- SmallDilationGeometry.lean 3 declarations
- SmallFirstGain.lean 25 declarations
- SmoothTestFamily.lean 10 declarations
- SmoothedPrePostIdentity.lean 11 declarations
- SpaceTimeDilationAE.lean 1 declarations
- SpaceTimeEssSup.lean 4 declarations
- SpacetimeAverageLimit.lean 1 declarations
- SpacetimeFourierCoordinates.lean 6 declarations
- SpacetimeRelativeEntropy.lean 12 declarations
- SquareIntegralToL1.lean 1 declarations
- StageParameterIntegration.lean 4 declarations
- StripeCells.lean 7 declarations
- SubmersionNullPreimage.lean 3 declarations
- SupportedTensorConvergence.lean 10 declarations
- SupportedTransportTest.lean 4 declarations
- ThreeCollisionTimes.lean 8 declarations
- ThreeSelectedIntegral.lean 4 declarations
- TightApproximation.lean 4 declarations
- TightCapFamily.lean 2 declarations
- TimeSliceIntegration.lean 4 declarations
- TimeSourceCumulative.lean 35 declarations
- TranslatedCoreKernel.lean 8 declarations
- TranslatedTwoCoreLimit.lean 3 declarations
- TransportCutoff.lean 8 declarations
- TransportedKernelRestriction.lean 7 declarations
- TriangularLinearMap.lean 3 declarations
- TruncatedExponential.lean 13 declarations
- TwoCoreLimit.lean 14 declarations
- UnitNormalizedResidual.lean 1 declarations
- UpperTimeDeletion.lean 3 declarations
- VanishingCutoffCollision.lean 3 declarations
- VanishingMajorant.lean 1 declarations
- VariableSurvival.lean 2 declarations
- VaryingBoundedMultiplier.lean 2 declarations
- VelocityAveraging.lean 1 declarations
- VolterraFubini.lean 2 declarations
- WeakCompactness.lean 3 declarations
- WeightedCharacteristic.lean 2 declarations
- WeightedHotGain.lean 5 declarations
- WeightedHotRegularity.lean 18 declarations
- WeightedJetSolutions.lean 68 declarations
- WeightedJetStability.lean 27 declarations
- WeightedMildBalance.lean 1 declarations
- WeightedNetLoss.lean 26 declarations
- WeightedNormalizedGainTranslation.lean 1 declarations
- WeightedPairUniformIntegrability.lean 4 declarations
- WeightedThermalChain.lean 10 declarations
- WeightedTranslationTests.lean 3 declarations
- WidthTails.lean 6 declarations
- WindowCollisionMarginal.lean 4 declarations
- WindowLocalizedSource.lean 9 declarations
- ZeroProfileParameters.lean 10 declarations