OAI/MathematicalPhysics/Boltzmann/Branching/DiagonalVanishingCap.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

A diagonal selection controlling finitely many tests at each step

  1. theorem OAI.BoltzmannNonuniqueness.exists_diagonal_finite_tests line 19
  2. def OAI.BoltzmannNonuniqueness.JetCopyDatum.CapApproximation.retime line 51
  3. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.CapApproximation.retime_value line 55
  4. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.exists_diagonal_cap_family line 59
  5. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.exists_vanishing_cap_family line 117