OAI/MathematicalPhysics/Boltzmann/Jets/BeamGainNormalOrder.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The physical gain law lies below the localized positive normal-angle source

  1. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.beamCharacteristic_le_retained line 12
  2. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.physicalBeamCollision_le_localized line 26