OAI/MathematicalPhysics/Boltzmann/Branching/RescaledColdMajorant.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual cold dilation is bounded by the selected core and two remainders

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.CapApproximation.rescaled_cold_majorant line 17