OAI/MathematicalPhysics/Boltzmann/Branching/ControlledParameterPath.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The exact density product along a finite controlled collision path

  1. def OAI.BoltzmannNonuniqueness.FiveGainMap.controlledPath line 14
  2. theorem OAI.BoltzmannNonuniqueness.FiveGainMap.controlledPath_shift line 19
  3. theorem OAI.BoltzmannNonuniqueness.FiveGainMap.controlledPath_zero line 32
  4. theorem OAI.BoltzmannNonuniqueness.FiveGainMap.chainIntegrand_eq_pathProduct line 36