OAI/MathematicalPhysics/Boltzmann/Compactness/KineticDilationIntegral.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Kinetic collision integrability in physical admissibility coordinates

  1. theorem OAI.BoltzmannNonuniqueness.kinetic_collision_conditions line 18
  2. def OAI.BoltzmannNonuniqueness.JetCopyDatum.kineticDilationEquiv line 75
  3. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.kineticDilationEquiv_apply line 80
  4. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.kineticDilation_map line 83
  5. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.kineticDilation_integral line 106
  6. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.kineticDilation_inverse line 115
  7. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.scaled_setIntegral line 133
  8. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.weak_scaled_setIntegral line 145