OAI/Analysis/LienardCycles/PositiveTransport.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.QuinticLienard.PositiveTransport.peak_width_deriv line 29
  2. theorem OAI.QuinticLienard.PositiveTransport.midpoint_width_deriv_abs_lt line 53
  3. theorem OAI.QuinticLienard.PositiveTransport.midpoint_base_deriv line 68
  4. def OAI.QuinticLienard.PositiveTransport.M line 95
  5. def OAI.QuinticLienard.PositiveTransport.v line 96
  6. theorem OAI.QuinticLienard.PositiveTransport.M_analytic line 98
  7. theorem OAI.QuinticLienard.PositiveTransport.v_analytic line 103
  8. theorem OAI.QuinticLienard.PositiveTransport.M_abs_lt line 106
  9. theorem OAI.QuinticLienard.PositiveTransport.v_abs_lt line 109
  10. theorem OAI.QuinticLienard.PositiveTransport.M_gap_pos line 116
  11. theorem OAI.QuinticLienard.PositiveTransport.midpoint_reparam line 119
  12. theorem OAI.QuinticLienard.PositiveTransport.transport_midpoint line 124
  13. theorem OAI.QuinticLienard.PositiveTransport.transport_midpoint_cross line 154
  14. theorem OAI.QuinticLienard.PositiveTransport.transport_v line 162