OAI/MathematicalPhysics/Boltzmann/Branching/WindowCollisionMarginal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Weak collision marginals and uniform integrability on a fixed elastic window

  1. def OAI.BoltzmannNonuniqueness.PeriodicApproximation.windowCollisionMarginal line 18
  2. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.windowCollisionMarginal_measurable line 23
  3. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.weak_windowCollisionMarginal line 29
  4. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.windowCollisionMarginal_uniformIntegrable line 49