OAI/Probability/SKValue/Evolution/BurgersJets.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKValue.scaledHeatJet line 12
2. lemma OAI.SKValue.scaledHeatJet_expr line 15
3. lemma OAI.SKValue.scaledHeatJet_continuous line 23
4. lemma OAI.SKValue.scaledHeatJet_bound line 27
5. lemma OAI.SKValue.scaledHeatJet_space line 36
6. lemma OAI.SKValue.scaledHeatJet_time_expr line 45
7. lemma OAI.SKValue.JetExpr.burgers0 line 60
8. lemma OAI.SKValue.JetExpr.burgers1 line 67
9. lemma OAI.SKValue.JetExpr.burgers2 line 74
10. lemma OAI.SKValue.JetExpr.burgers3 line 82
11. lemma OAI.SKValue.scaledHeatJet_time0 line 92
12. lemma OAI.SKValue.scaledHeatJet_time1 line 101
13. lemma OAI.SKValue.scaledHeatJet_time2 line 110
14. lemma OAI.SKValue.scaledHeatJet_time3 line 120