OAI/MathematicalPhysics/Boltzmann/Compactness/PeriodicSourceBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A cellwise velocity estimate gives a spacetime almost-everywhere bound

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.ae_bound_of_cell line 15