OAI/MathematicalPhysics/Boltzmann/Branching/RateDissipationMonotone.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Monotonicity of the nonnegative dissipation in the base measure

  1. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.rateDissipation_mono_measure line 12