OAI/MathematicalPhysics/Boltzmann/Compactness/UniformAverageCompactness.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform three-collision access weight for integration over collision times

  1. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.three_collision_access_lower line 22
  2. theorem OAI.BoltzmannNonuniqueness.Published.uniform_average_compactness line 79