OAI/MathematicalPhysics/Boltzmann/Branching/RetainedAxialDecay.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Pointwise labels and mass bounds for the retained actual kernel

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.retainedFreeKernel_zero_or_copy line 20
  2. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.retainedFreeKernel_le line 36
  3. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.retainedFreeKernel_bound line 44
  4. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.retained_small_input line 73
  5. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.retained_second_small_off_bands line 115
  6. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.selected_retained_pair_small line 200
  7. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.selected_retained_pair_tendsto line 322
  8. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.retained_axial_decay line 376