OAI/Analysis/LienardCycles/CurvatureRange.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ActualCharacteristic.base_strictAnti line 21
2. lemma OAI.QuinticLienard.ActualCharacteristic.rate_model_strictMono line 28
3. lemma OAI.QuinticLienard.ActualCharacteristic.rate_label line 33
4. lemma OAI.QuinticLienard.ActualCharacteristic.label_factor_pos line 38
5. lemma OAI.QuinticLienard.ActualCharacteristic.not_all_error_neg line 43
6. lemma OAI.QuinticLienard.ActualCharacteristic.not_all_error_pos line 68
7. theorem OAI.QuinticLienard.ActualCharacteristic.curvature_lower line 93
8. theorem OAI.QuinticLienard.ActualCharacteristic.curvature_upper line 112