OAI/MathematicalPhysics/Boltzmann/Branching/DilatedCoreDensity.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Positive gain kernels under the actual cap dilation

  1. def OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedColdKernel line 17
  2. instance OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedColdKernel_sFinite line 22
  3. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedColdKernel_apply line 27
  4. def OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedFreeKernel line 33
  5. instance OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedFreeKernel_sFinite line 36
  6. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedFreeKernel_bound line 41
  7. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.iterate_dilatedFreeKernel_bound line 64
  8. def OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedCoreDensity line 94
  9. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedCoreDensity_measurable line 97
  10. theorem OAI.BoltzmannNonuniqueness.JetCoreSheet.dilatedColdKernel_density line 103