OAI/MathematicalPhysics/Boltzmann/Branching/WeightedCharacteristic.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Cold-core survival for the a.e. representatives in the actual cap construction

  1. theorem OAI.BoltzmannNonuniqueness.WeightedLocal.ColdMildAE.survival line 18
  2. theorem OAI.BoltzmannNonuniqueness.WeightedLocalControl.PeriodicMildState.weak_characteristic line 91