OAI/MathematicalPhysics/Boltzmann/Branching/ThreeSelectedIntegral.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Three selected collisions as one time and angle integral

  1. def OAI.BoltzmannNonuniqueness.ReferenceGeometry.threeSelectedIntegrand line 15
  2. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.threeSelectedIntegrand_measurable line 22
  3. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.threeSelected_integral line 31
  4. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.threeSelected_time_angles line 48