OAI/MathematicalPhysics/Boltzmann/Branching/GainEntropyTail.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Entropy controls the positive gain excess over a large multiple of loss

  1. theorem OAI.BoltzmannNonuniqueness.weighted_gain_le_scaled_loss_add_extendedProduction line 10
  2. theorem OAI.BoltzmannNonuniqueness.gain_excess_le_extendedProduction line 30