OAI/MathematicalPhysics/Boltzmann/Compactness/FiniteHorizonRatio.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Finite mesh representation of the atomic background on a radial window

  1. theorem OAI.BoltzmannNonuniqueness.AxialBackground.integral_cell_eq_sum line 19
  2. theorem OAI.BoltzmannNonuniqueness.GeometricBackground.integral_finite_window line 29
  3. theorem OAI.BoltzmannNonuniqueness.Published.WeakL1Converges.finset_sum line 96
  4. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.AttainedCapSequence.HotLimitExtraction.radius_horizon_ratio line 132