OAI/MathematicalPhysics/Boltzmann/Branching/WeakCompactness.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Dunford–Pettis compactness for three phase-space measures

  1. theorem OAI.BoltzmannNonuniqueness.Published.dunfordPettis1940Theorem321 line 12
  2. theorem OAI.BoltzmannNonuniqueness.Published.dunfordPettis1940HotWindows line 16
  3. theorem OAI.BoltzmannNonuniqueness.Published.dunfordPettis1940HotPairWindows line 23