OAI/MathematicalPhysics/Boltzmann/Branching/ClippedColdShift.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Vanishing components in the clipped and normalized cold construction

  1. theorem OAI.BoltzmannNonuniqueness.WeightedLocal.clippedColdPicard_zero line 17
  2. theorem OAI.BoltzmannNonuniqueness.WeightedLocal.clippedColdLimit_zero line 26
  3. theorem OAI.BoltzmannNonuniqueness.WeightedLocal.normalizedFamily_zero line 31
  4. theorem OAI.BoltzmannNonuniqueness.WeightedLocal.clippedCold_shifted_envelope line 54