OAI/Analysis/LienardCycles/AxisReflection.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.AxisFlow.poly_neg line 21
2. lemma OAI.QuinticLienard.AxisFlow.endpoint_neg line 24
3. lemma OAI.QuinticLienard.AxisFlow.axisEndpoint_neg line 31
4. lemma OAI.QuinticLienard.AxisFlow.transversePeaks_neg line 42
5. lemma OAI.QuinticLienard.AxisFlow.axisWidth_neg line 49
6. lemma OAI.QuinticLienard.AxisFlow.axisWidths_neg line 53
7. lemma OAI.QuinticLienard.AxisFlow.axisFit_neg line 59
8. lemma OAI.QuinticLienard.AxisFlow.axisLambda_gt line 73