OAI/MathematicalPhysics/Boltzmann/Collision/AxialDecayLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Vanishing of the quantitative axial-decay bound

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.axial_decay_bound_tendsto line 14