OAI/MathematicalPhysics/Boltzmann/Branching/GainMeasureLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Doubling a positive gain kernel multiplies its nth iterate by two to the nth power

  1. theorem OAI.BoltzmannNonuniqueness.PositiveIteration.iterate_add_self line 20
  2. theorem OAI.BoltzmannNonuniqueness.PeriodicApproximation.physical_gain_tendstoInMeasure line 52