OAI/Analysis/LienardCycles/Intercept.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ScaledProfile.intercept_ratio_strictMono line 20
2. def OAI.QuinticLienard.QuinticFit.intercept line 35
3. lemma OAI.QuinticLienard.QuinticFit.intercept_analytic line 36
4. lemma OAI.QuinticLienard.QuinticFit.profile_gt_intercept line 39
5. lemma OAI.QuinticLienard.QuinticFit.intercept_zero_slope_gt line 64
6. def OAI.QuinticLienard.ActualCharacteristic.interceptRate line 80
7. lemma OAI.QuinticLienard.ActualCharacteristic.intercept_deriv line 83
8. lemma OAI.QuinticLienard.ActualCharacteristic.intercept_small line 98
9. lemma OAI.QuinticLienard.ActualCharacteristic.intercept_lt line 107
10. theorem OAI.QuinticLienard.QuinticFit.intercept_negative line 130