OAI/Analysis/LienardCycles/AxisLimits.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ScalarArcs.IsArch.endpoint_bounds line 20
2. lemma OAI.QuinticLienard.ScalarArcs.lower_strictMono_base line 72
3. lemma OAI.QuinticLienard.ScalarArcs.upper_strictAnti_base line 80
4. def OAI.QuinticLienard.ScalarArcs.axisLower line 89
5. def OAI.QuinticLienard.ScalarArcs.axisUpper line 90
6. lemma OAI.QuinticLienard.ScalarArcs.axis_bounded line 91
7. lemma OAI.QuinticLienard.ScalarArcs.lower_axis_tendsto line 102
8. lemma OAI.QuinticLienard.ScalarArcs.upper_axis_tendsto line 118
9. lemma OAI.QuinticLienard.ScalarArcs.axis_signs line 135