OAI/Analysis/LienardCycles/ActualReflection.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.QuinticFit.profile_neg line 21
2. lemma OAI.QuinticLienard.QuinticFit.M_neg line 25
3. lemma OAI.QuinticLienard.QuinticFit.V_neg line 47
4. lemma OAI.QuinticLienard.QuinticFit.Hr_neg line 52
5. lemma OAI.QuinticLienard.QuinticFit.fit_neg line 57
6. lemma OAI.QuinticLienard.QuinticFit.w_neg line 68
7. lemma OAI.QuinticLienard.ScaledProfile.slope_neg line 75
8. lemma OAI.QuinticLienard.ScaledProfile.curvature_neg line 78
9. lemma OAI.QuinticLienard.ScaledProfile.third_neg line 81
10. lemma OAI.QuinticLienard.QuinticFit.lambda_gt_slope line 86
11. lemma OAI.QuinticLienard.QuinticFit.kappa_width_neg line 95