OAI/Probability/SKValue/Equations/BackwardPolynomials.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.SKValue.BackwardBurgers line 14
  2. lemma OAI.SKValue.even_third_deriv_zero line 32
  3. def OAI.SKValue.SmoothTerminal.backwardBurgers line 41
  4. def OAI.SKValue.BackwardBurgers.k line 72
  5. def OAI.SKValue.BackwardBurgers.kx line 73
  6. def OAI.SKValue.BackwardBurgers.kxx line 74
  7. def OAI.SKValue.BackwardBurgers.kt line 75
  8. def OAI.SKValue.BackwardBurgers.n line 76
  9. def OAI.SKValue.BackwardBurgers.nx line 77
  10. def OAI.SKValue.BackwardBurgers.nxx line 79
  11. def OAI.SKValue.BackwardBurgers.nt line 83
  12. lemma OAI.SKValue.BackwardBurgers.k_space line 87
  13. lemma OAI.SKValue.BackwardBurgers.kx_space line 92
  14. lemma OAI.SKValue.BackwardBurgers.k_time line 98
  15. lemma OAI.SKValue.BackwardBurgers.n_space line 103
  16. lemma OAI.SKValue.BackwardBurgers.nx_space line 110
  17. lemma OAI.SKValue.BackwardBurgers.n_time line 117
  18. lemma OAI.SKValue.BackwardBurgers.k_continuous line 126
  19. lemma OAI.SKValue.BackwardBurgers.n_continuous line 128
  20. lemma OAI.SKValue.BackwardBurgers.k_bound line 131
  21. lemma OAI.SKValue.BackwardBurgers.n_bound line 137
  22. lemma OAI.SKValue.BackwardBurgers.k_zero line 150
  23. lemma OAI.SKValue.BackwardBurgers.n_zero line 151