OAI/Analysis/LienardCycles/AxisZeros.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.AxisFlow.matchingDomain line 22
2. def OAI.QuinticLienard.AxisFlow.matchingDelta line 23
3. lemma OAI.QuinticLienard.AxisFlow.matchingDomain_open line 24
4. lemma OAI.QuinticLienard.AxisFlow.matchingDomain_ordConnected line 26
5. lemma OAI.QuinticLienard.AxisFlow.matchingDelta_deriv line 28
6. lemma OAI.QuinticLienard.AxisFlow.axisV_conditional line 32
7. lemma OAI.QuinticLienard.AxisFlow.matchingDelta_crossing line 39
8. lemma OAI.QuinticLienard.AxisFlow.matchingDelta_zero_bound line 45
9. lemma OAI.QuinticLienard.AxisFlow.H_curvature_strictMono line 50
10. lemma OAI.QuinticLienard.AxisFlow.matchingDelta_kappa_of_lambda line 55
11. lemma OAI.QuinticLienard.AxisFlow.matchingDelta_zero_bound_of_lambda line 65