OAI/Analysis/LienardCycles/CycleTransform.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.flipY line 22
2. lemma OAI.QuinticLienard.flipY_apply line 29
3. lemma OAI.QuinticLienard.flipY_symm line 30
4. lemma OAI.QuinticLienard.IsPeriodicOrbit.flipY line 31
5. lemma OAI.QuinticLienard.IsLimitCycle.map_homeomorph line 41
6. lemma OAI.QuinticLienard.IsLimitCycle.flipY line 54
7. lemma OAI.QuinticLienard.limitCycle_encard_neg line 59