OAI/MathematicalPhysics/Boltzmann/Branching/ScaledMassAgreement.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Passing equality of cap limits to fixed rescaled box masses

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.CapLocalLimit.scaled_mass_congr line 13
  2. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.DormantLimit.scaled_mass_tendsto line 28