OAI/MathematicalPhysics/Boltzmann/Jets/
1418 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- AnnularCharacteristicCutoff.lean 1 declarations
- AnnularCollisionIntegrability.lean 1 declarations
- AnnularEnvelopes.lean 44 declarations
- AnnularTightness.lean 4 declarations
- BeamGainNormalOrder.lean 2 declarations
- BeamNormalCharacteristicIdentity.lean 8 declarations
- BeamNormalOutgoing.lean 19 declarations
- ColdCentralVanishing.lean 16 declarations
- ColdFamilyGlobalStabilityAE.lean 1 declarations
- ColdGaussianFamily.lean 15 declarations
- ColdHotSourceDecomposition.lean 2 declarations
- ColdMildRepresentative.lean 39 declarations
- CoreDensityTranslation.lean 24 declarations
- CoreJointParameterDensity.lean 9 declarations
- CoreParameterStep.lean 11 declarations
- FreeCoreGainKernel.lean 6 declarations
- FreeCoreMismatch.lean 27 declarations
- FreeCoreSharpBound.lean 3 declarations
- GeometricAnnularFrequency.lean 7 declarations
- GeometricColdSource.lean 6 declarations
- GeometricCommonBlock.lean 1 declarations
- GeometricDampedRetention.lean 12 declarations
- GeometricEntry.lean 56 declarations
- GeometricLocalizedEntry.lean 14 declarations
- GeometricMesh.lean 52 declarations
- GeometricPositiveCompact.lean 13 declarations
- GeometricSlice.lean 72 declarations
- GeometricTwoCoreUniform.lean 10 declarations
- JetBarrierKinetic.lean 20 declarations
- JetBarriers.lean 106 declarations
- JetColdLimitComparison.lean 18 declarations
- JetContinuation.lean 23 declarations
- JetCoreConvergence.lean 62 declarations
- JetCoreMomentBound.lean 59 declarations
- JetEnvelopeTimeIntegral.lean 26 declarations
- JetFamilyBounds.lean 50 declarations
- JetFiniteCap.lean 7 declarations
- JetPeriodicDatum.lean 103 declarations
- JetProfiles.lean 138 declarations
- JetSupersolutions.lean 85 declarations
- JetZeroControl.lean 2 declarations
- OriginMeshLimit.lean 17 declarations
- OriginMeshStep.lean 17 declarations
- PeriodicJetFamilies.lean 60 declarations
- SpatialCutoffIntegrability.lean 3 declarations
- SpatialDilationAE.lean 1 declarations
- ThermalParameterChain.lean 19 declarations
- ThermalPointBounds.lean 5 declarations
- ThermalStripeIdentity.lean 6 declarations
- TorusAnnularIntegrability.lean 5 declarations
- TorusCharacteristic.lean 29 declarations
- TorusChart.lean 12 declarations
- TorusTailRegions.lean 6 declarations
- TorusTransport.lean 49 declarations
- TorusVelocityWindowAE.lean 15 declarations