OAI/Analysis/LienardCycles/CurvaturePositive.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.ActualCharacteristic.w line 21
2. def OAI.QuinticLienard.ActualCharacteristic.damp line 22
3. def OAI.QuinticLienard.ActualCharacteristic.feed line 23
4. lemma OAI.QuinticLienard.ActualCharacteristic.w_analytic line 24
5. lemma OAI.QuinticLienard.ActualCharacteristic.damp_continuous line 26
6. lemma OAI.QuinticLienard.ActualCharacteristic.w_deriv line 30
7. lemma OAI.QuinticLienard.ActualCharacteristic.feed_nonneg line 38
8. lemma OAI.QuinticLienard.ActualCharacteristic.w_small line 44
9. theorem OAI.QuinticLienard.ActualCharacteristic.w_pos line 61
10. theorem OAI.QuinticLienard.QuinticFit.kappa_width_pos line 75