OAI/Probability/ContinuumTransition/KacKernel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ContinuumTemperature.hasCompactSupport_kernel line 10
  2. theorem OAI.ContinuumTemperature.exists_lipschitz_kernel line 16
  3. def OAI.ContinuumTemperature.scaledKernel line 19
  4. theorem OAI.ContinuumTemperature.scaledKernel_eq line 21
  5. theorem OAI.ContinuumTemperature.scaledKernel_nonneg line 26
  6. theorem OAI.ContinuumTemperature.scaledKernel_zero line 29
  7. theorem OAI.ContinuumTemperature.scaledKernel_neg line 32
  8. theorem OAI.ContinuumTemperature.integrable_scaledKernel line 35
  9. theorem OAI.ContinuumTemperature.integral_scaledKernel line 41
  10. theorem OAI.ContinuumTemperature.scaledKernel_oscillation line 48