OAI/MathematicalPhysics/Boltzmann/Branching/SliceUniformLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Bounded measurable limits with uniform a.e. control on every time slice

  1. theorem OAI.BoltzmannNonuniqueness.exists_slice_uniform_limit line 15