OAI/MathematicalPhysics/Boltzmann/Jets/CoreJointParameterDensity.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Joint measurability of the physical six-parameter collision density

  1. theorem OAI.BoltzmannNonuniqueness.RedundantPlane.joint_point_measurable line 17
  2. theorem OAI.BoltzmannNonuniqueness.RedundantPlane.joint_normalCoefficient_measurable line 25
  3. abbrev OAI.BoltzmannNonuniqueness.JetCoreSheet.ParameterArguments line 35
  4. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.arguments_measurable line 40
  5. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.clamped_parameterPoint_measurable line 43
  6. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.clamped_normalDensity_measurable line 54
  7. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.clamped_ratio_measurable line 68
  8. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.clamped_parameterDensity_measurable line 80
  9. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.clamped_rescaledParameterDensity_measurable line 92