OAI/MathematicalPhysics/Boltzmann/Collision/
1059 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- AnalyticRankAlmostEverywhere.lean 4 declarations
- AnalyticTools.lean 4 declarations
- AngularGainTranslationTests.lean 12 declarations
- AngularPairTests.lean 18 declarations
- AxialAtomicSheet.lean 11 declarations
- AxialBandMeasure.lean 11 declarations
- AxialDecayLimit.lean 1 declarations
- AxialFlow.lean 48 declarations
- AxialJointAnalytic.lean 33 declarations
- AxialSecondMismatch.lean 27 declarations
- CarlemanIdentity.lean 55 declarations
- CarlemanNormalCoordinates.lean 14 declarations
- CarlemanOperator.lean 12 declarations
- CollisionComparisonError.lean 3 declarations
- CollisionConservation.lean 24 declarations
- CollisionDissipation.lean 51 declarations
- CollisionMeasure.lean 51 declarations
- CollisionParameterShuffle.lean 7 declarations
- CollisionSources.lean 26 declarations
- CollisionWaitingCone.lean 3 declarations
- CollisionWeakMarginals.lean 58 declarations
- FourierCompactness.lean 30 declarations
- FourierL2Identification.lean 5 declarations
- GaussianColdPhysical.lean 3 declarations
- GaussianEstimates.lean 99 declarations
- GaussianFrequency.lean 9 declarations
- GaussianLocalExistence.lean 27 declarations
- GaussianWeightedConvergence.lean 4 declarations
- KernelConjugacy.lean 3 declarations
- KernelInvariantOrder.lean 2 declarations
- KernelInvariantPowers.lean 5 declarations
- MityaginDischarge.lean 2 declarations
- MityaginPublished.lean 1 declarations
- ScalarEntropyConvex.lean 24 declarations
- ScalarEntropyJointTrace.lean 2 declarations
- SheetGain.lean 59 declarations
- SheetIntervals.lean 39 declarations
- SheetKernelLimits.lean 8 declarations
- SheetMixtures.lean 9 declarations
- SphereAntipodal.lean 1 declarations
- SphereDirectionAbsolute.lean 10 declarations
- SphereIsometryMeasure.lean 3 declarations
- TransverseAverage.lean 81 declarations
- TransverseStripeWeak.lean 6 declarations
- VelocityAverageDifference.lean 17 declarations
- VelocityAverageRepresentatives.lean 2 declarations
- VelocityCutoffEntropyError.lean 13 declarations
- VelocityFourierMultiplier.lean 26 declarations
- VelocityPolynomialBounds.lean 16 declarations
- VelocitySmoothingError.lean 22 declarations
- VelocityWeight.lean 35 declarations
- WeightAlgebra.lean 16 declarations
- WeightLocalL1.lean 7 declarations