OAI/MathematicalPhysics/Boltzmann/Compactness/EntropyCollisionIntegrability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Separate collision integrability from entropy and dissipation budgets

  1. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.normalized_collisions_of_entropy line 13