OAI/Probability/SKSupport/Parabolic/BurgersConstruction.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ZeroTemperatureSK.Heat.hasDerivAt_spatialJet line 13
  2. def OAI.ZeroTemperatureSK.Heat.burgersRate line 18
  3. structure OAI.ZeroTemperatureSK.Heat.SmoothBurgers line 21
  4. def OAI.ZeroTemperatureSK.Heat.gaussianBurgers line 27
  5. lemma OAI.ZeroTemperatureSK.Heat.gaussianBurgers_jet line 30
  6. lemma OAI.ZeroTemperatureSK.Heat.gaussianBurgers_rate line 39
  7. theorem OAI.ZeroTemperatureSK.Heat.gaussianBurgers_smooth line 58
  8. lemma OAI.ZeroTemperatureSK.Heat.even_deriv_odd line 73
  9. lemma OAI.ZeroTemperatureSK.Heat.odd_deriv_even line 82
  10. lemma OAI.ZeroTemperatureSK.Heat.gaussianBurgers_odd line 93
  11. lemma OAI.ZeroTemperatureSK.Heat.inverse_forwardTime_family line 113
  12. lemma OAI.ZeroTemperatureSK.Heat.inverse_forwardTime_continuous line 122
  13. lemma OAI.ZeroTemperatureSK.Heat.forwardCorrectionRate_affine line 126
  14. lemma OAI.ZeroTemperatureSK.Heat.hasDerivAt_forwardCorrection_jet line 156
  15. lemma OAI.ZeroTemperatureSK.Heat.forwardScore_affine line 164
  16. lemma OAI.ZeroTemperatureSK.Heat.forwardScore_deriv line 175
  17. lemma OAI.ZeroTemperatureSK.Heat.forwardScore_deriv_family line 182
  18. lemma OAI.ZeroTemperatureSK.Heat.forwardScore_second line 190
  19. def OAI.ZeroTemperatureSK.Heat.scoreRate line 198
  20. lemma OAI.ZeroTemperatureSK.Heat.forwardCorrectionRate_deriv line 201
  21. lemma OAI.ZeroTemperatureSK.Heat.hasDerivAt_forwardScore line 221