OAI/MathematicalPhysics/Boltzmann/Branching/DampedLocalBeamBlock.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Uniform branching growth from coefficient bounds only on the visited cylinder

  1. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.uniform_damped_bounded_local_block line 17
  2. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.uniform_damped_bounded_physical_block line 43
  3. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.uniform_damped_local_beam_block line 79
  4. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.uniform_damped_physical_beam_block line 105