OAI/MathematicalPhysics/Boltzmann/Branching/MovingBoxMass.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The moving-box mass cap in characteristic coordinates

  1. def OAI.BoltzmannNonuniqueness.EuclideanFlight.flightMeasurableEquiv line 17
  2. theorem OAI.BoltzmannNonuniqueness.EuclideanFlight.density_movingBox_bound line 35