OAI/Analysis/VlasovMaxwell/Geometry/ClippedRamp.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RVM.clippedRamp line 36
  2. def OAI.RVM.directionWeight line 38
  3. lemma OAI.RVM.clippedRamp_lipschitz line 40
  4. lemma OAI.RVM.clippedRamp_of_le line 50
  5. lemma OAI.RVM.clippedRamp_of_ge line 54
  6. lemma OAI.RVM.clippedRamp_of_between line 58
  7. lemma OAI.RVM.directionWeight_lipschitz line 64
  8. lemma OAI.RVM.directionWeight_left line 68
  9. lemma OAI.RVM.directionWeight_middle line 72
  10. lemma OAI.RVM.directionWeight_right line 76
  11. lemma OAI.RVM.directionWeight_endpoints line 83
  12. lemma OAI.RVM.directionWeight_bounds line 89
  13. lemma OAI.RVM.directionWeight_deriv_left line 102
  14. lemma OAI.RVM.directionWeight_deriv_middle line 110
  15. lemma OAI.RVM.directionWeight_deriv_right line 117
  16. lemma OAI.RVM.directionWeight_signed_average line 125
  17. lemma OAI.RVM.interval_average_error line 170
  18. lemma OAI.RVM.directionWeight_signed_error line 190
  19. lemma OAI.RVM.directionWeight_signed_exit line 209
  20. lemma OAI.RVM.directionWeight_total_variation line 222