OAI/MathematicalPhysics/Boltzmann/Branching/RebuiltHotCapBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A bounded cold family and a cap bound the full periodic solution

  1. theorem OAI.BoltzmannNonuniqueness.WeightedLocalControl.PeriodicMildState.total_bound_of_cap line 17
  2. theorem OAI.BoltzmannNonuniqueness.WeightedLocalControl.PeriodicMildState.hot_bound_of_cap line 68