OAI/MathematicalPhysics/Boltzmann/Approximation/CappedTightness.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Uniform gain and loss integrability for the actual capped approximation family

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.capped_family_gainLoss_uniformIntegrable line 19
  2. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.cap_family_gainLoss_uniformIntegrable line 73
  3. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.cap_family_cutoff_uniformIntegrable line 102
  4. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.capped_family_unifTight line 140
  5. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.cap_family_unifTight line 180