OAI/MathematicalPhysics/Boltzmann/Compactness/PhysicalGainTransport.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Physical gain histories in the characteristic coordinates of the hot balance

  1. def OAI.BoltzmannNonuniqueness.ReferenceGeometry.beamCharacteristicKernel line 15
  2. instance OAI.BoltzmannNonuniqueness.ReferenceGeometry.beamCharacteristicKernel_sFinite line 19
  3. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.physicalBeamEvent_transport line 24
  4. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.physicalBeamEvent_pow_transport line 31
  5. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.physical_terminal_characteristic line 37
  6. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.physicalGainEndpoint_characteristic line 54