OAI/Analysis/LienardCycles/WidthTransport.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.QuinticLienard.WidthTransport.peak_width_deriv line 28
  2. theorem OAI.QuinticLienard.WidthTransport.midpoint_width_deriv_abs_lt line 52
  3. theorem OAI.QuinticLienard.WidthTransport.midpoint_base_deriv line 67
  4. theorem OAI.QuinticLienard.WidthTransport.base_peak_deriv_pos line 93
  5. def OAI.QuinticLienard.WidthTransport.M line 122
  6. def OAI.QuinticLienard.WidthTransport.v line 123
  7. theorem OAI.QuinticLienard.WidthTransport.M_analytic line 125
  8. theorem OAI.QuinticLienard.WidthTransport.v_analytic line 130
  9. theorem OAI.QuinticLienard.WidthTransport.M_abs_lt line 133
  10. theorem OAI.QuinticLienard.WidthTransport.v_abs_lt line 136
  11. theorem OAI.QuinticLienard.WidthTransport.M_gap_pos line 143
  12. theorem OAI.QuinticLienard.WidthTransport.midpoint_reparam line 146
  13. theorem OAI.QuinticLienard.WidthTransport.transport_midpoint line 151
  14. theorem OAI.QuinticLienard.WidthTransport.transport_midpoint_cross line 180
  15. theorem OAI.QuinticLienard.WidthTransport.transport_v line 188