OAI/MathematicalPhysics/Boltzmann/Branching/SquareIntegralToL1.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Vanishing square integrals imply vanishing L1 integrals on finite measures

  1. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.integral_abs_tendsto_zero_of_square line 12