OAI/Probability/SKValue/Equations/ResponseJets.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SKValue.combinedJet line 11
  2. lemma OAI.SKValue.combinedJet_even line 13
  3. lemma OAI.SKValue.combinedJet_odd line 15
  4. lemma OAI.SKValue.baseJet_continuous line 17
  5. lemma OAI.SKValue.baseJet_time line 22
  6. lemma OAI.SKValue.combinedJet_continuous line 28
  7. lemma OAI.SKValue.combinedJet_bound line 34
  8. lemma OAI.SKValue.combinedJet_space line 40
  9. lemma OAI.SKValue.combinedJet_time line 53
  10. def OAI.SKValue.JetExpr.responseσx line 64
  11. def OAI.SKValue.JetExpr.responseσt line 66
  12. def OAI.SKValue.JetExpr.responseExpr line 68
  13. lemma OAI.SKValue.JetExpr.eval_responseσx line 71
  14. lemma OAI.SKValue.JetExpr.eval_responseσt line 73
  15. lemma OAI.SKValue.responseJet_zero_expr line 76
  16. lemma OAI.SKValue.responseJet_joint_jets line 89
  17. lemma OAI.SKValue.responseJet_time_jets line 94