OAI/Analysis/LienardCycles/AxisComparison.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.AxisFlow.kappa_monotone_height line 21
2. lemma OAI.QuinticLienard.AxisFlow.kappa_antitone_height line 31
3. lemma OAI.QuinticLienard.AxisFlow.axisKappa_monotone line 41
4. lemma OAI.QuinticLienard.AxisFlow.axisKappa_antitone line 50
5. lemma OAI.QuinticLienard.AxisFlow.kappa_range_height line 59
6. lemma OAI.QuinticLienard.AxisFlow.axisKappa_lower line 74
7. lemma OAI.QuinticLienard.AxisFlow.axisKappa_upper line 89