OAI/MathematicalPhysics/Boltzmann/Branching/SecondCoreOffBands.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The second actual core is small outside the finite exceptional speed list

  1. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.second_core_small_off_bands line 16