OAI/MathematicalPhysics/Boltzmann/Compactness/WeakConservedMarginal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Extending supported weak convergence from a measurable region

  1. theorem OAI.BoltzmannNonuniqueness.Published.WeakL1Converges.of_restrict_support line 19
  2. def OAI.BoltzmannNonuniqueness.Published.survivalVolterra line 60
  3. theorem OAI.BoltzmannNonuniqueness.Published.WeakL1Converges.survivalVolterra line 64
  4. theorem OAI.BoltzmannNonuniqueness.Published.WeakL1Converges.of_add line 130
  5. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.weak_gainLoss_eventually line 139
  6. theorem OAI.BoltzmannNonuniqueness.Published.conserved_marginal_of_strong line 168