OAI/MathematicalPhysics/Boltzmann/Branching/RescaledParameterSlab.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

The physical dilated gain in bounded thermal and plane parameters

  1. def OAI.BoltzmannNonuniqueness.JetCoreSheet.rescaledParameterDensity line 21
  2. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.rescaledCoreMeasure_parameter_integral line 25
  3. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.rescaledParameterDensity_bound line 46
  4. def OAI.BoltzmannNonuniqueness.JetCoreSheet.retainedPlaneBound line 94
  5. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.rescaledParameterDensity_support line 97
  6. def OAI.BoltzmannNonuniqueness.JetCoreSheet.parameterSlabBound line 151
  7. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.parameterSlabBound_ne_top line 155
  8. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.rescaledParameterDensity_slab_bound line 160