OAI/MathematicalPhysics/Boltzmann/Branching/DissipationMassExhaustion.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Removing the mass cap and the collision window from entropy production

  1. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.eventually_mem_collisionWindow line 15
  2. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.production_le_of_clipped_windows line 23