OAI/MathematicalPhysics/Boltzmann/Branching/LateBoxCommonDamping.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Physical branching growth for a whole interval of durations

  1. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.lateBox_duration_window line 19
  2. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.lateBox_damped_duration_growth line 37
  3. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.uniform_lateBox_geometric_block line 86
  4. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.lateBox_physical_block_growth line 129
  5. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.lateBox_common_clock line 173
  6. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.lateBox_common_damping_block line 190