OAI/MathematicalPhysics/Boltzmann/Branching/WidthTails.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Vanishing transverse tails as the sheet width tends to zero

  1. theorem OAI.BoltzmannNonuniqueness.WidthTails.exp_neg_le_inv line 18
  2. theorem OAI.BoltzmannNonuniqueness.WidthTails.gaussian_tilt_width_bound line 26
  3. theorem OAI.BoltzmannNonuniqueness.WidthTails.transverse_tail_bound line 53
  4. def OAI.BoltzmannNonuniqueness.WidthTails.incomingTail line 82
  5. theorem OAI.BoltzmannNonuniqueness.WidthTails.measurableSet_incomingTail line 84
  6. theorem OAI.BoltzmannNonuniqueness.WidthTails.tiltedSheet_transverse_tail line 87