OAI/MathematicalPhysics/Boltzmann/Compactness/SelectedWindowDeletion.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous velocity-tail and near-axis deletion, with bounded retained windows

  1. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.selected_window_deletion line 16