OAI/Probability/SKSupport/Moments/BurgersJets.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.jet_spatial line 16
  2. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.jet_continuous line 20
  3. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_family line 24
  4. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_continuous line 29
  5. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_deriv line 34
  6. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_jet2 line 45
  7. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_jet3 line 55
  8. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_time line 67
  9. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_deriv_time line 75
  10. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_odd line 90
  11. def OAI.ZeroTemperatureSK.Heat.backwardWronskian line 108
  12. def OAI.ZeroTemperatureSK.Heat.wronskianRate line 111
  13. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_family line 125
  14. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_continuous line 132
  15. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_deriv line 141
  16. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_jet2 line 152
  17. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_time line 166
  18. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_equation line 173
  19. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_odd line 183