OAI/MathematicalPhysics/Boltzmann/Collision/TransverseStripeWeak.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Time spent by a nonaxial free flight near the transverse origin

  1. theorem OAI.BoltzmannNonuniqueness.transverse_flight_time_bound line 21
  2. def OAI.BoltzmannNonuniqueness.JetGeometry.transverseCartesian line 74
  3. theorem OAI.BoltzmannNonuniqueness.JetGeometry.transverseCartesian_measurePreserving line 77
  4. theorem OAI.BoltzmannNonuniqueness.JetGeometry.centeredStripe_weakStar line 81
  5. theorem OAI.BoltzmannNonuniqueness.JetGeometry.centeredStripe_transverse_weakStar line 91
  6. theorem OAI.BoltzmannNonuniqueness.JetGeometry.centeredStripe_fiber_weakStar line 104