OAI/MathematicalPhysics/Boltzmann/Jets/ColdFamilyGlobalStabilityAE.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Fixed-interval stability of the countable cold system
- theorem
OAI.BoltzmannNonuniqueness.WeightedLocal.cold_bounded_interval_stabilityline 16