OAI/Probability/SKValue/Equations/CoupledComparison.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SKValue.BackwardBurgers.ratioJ line 15
  2. def OAI.SKValue.BackwardBurgers.ratioJx line 16
  3. def OAI.SKValue.BackwardBurgers.ratioJxx line 17
  4. def OAI.SKValue.BackwardBurgers.ratioJt line 19
  5. lemma OAI.SKValue.BackwardBurgers.ratioJ_space line 24
  6. lemma OAI.SKValue.BackwardBurgers.ratioJx_space line 30
  7. lemma OAI.SKValue.BackwardBurgers.ratioJ_time line 36
  8. lemma OAI.SKValue.BackwardBurgers.ratioJ_continuous line 47
  9. lemma OAI.SKValue.BackwardBurgers.ratioJ_nonneg line 52
  10. def OAI.SKValue.spatialJet line 113
  11. def OAI.SKValue.spatialK line 115
  12. def OAI.SKValue.spatialN line 117
  13. structure OAI.SKValue.BackwardShape line 121
  14. lemma OAI.SKValue.spatialJet_scale line 128
  15. lemma OAI.SKValue.spatialK_scale line 131
  16. lemma OAI.SKValue.spatialN_scale line 136
  17. lemma OAI.SKValue.BackwardShape.scale line 142
  18. lemma OAI.SKValue.BackwardShape.lower line 166
  19. lemma OAI.SKValue.BackwardShape.evolve line 171
  20. lemma OAI.SKValue.logCoshTerminal_gradient_jet line 188
  21. lemma OAI.SKValue.logCoshTerminal_backwardShape line 202