OAI/MathematicalPhysics/Boltzmann/Branching/VanishingMajorant.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Strong L1 convergence under an integrable vanishing majorant

  1. theorem OAI.BoltzmannNonuniqueness.Compactness.tendsto_L1_of_vanishing_majorant line 14