OAI/Analysis/LienardCycles/OriginalProfile.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.QuinticProfile.xExpr line 20
2. def OAI.QuinticLienard.QuinticProfile.expr line 21
3. def OAI.QuinticLienard.QuinticProfile.profile line 24
4. lemma OAI.QuinticLienard.QuinticProfile.representation line 25
5. lemma OAI.QuinticLienard.QuinticProfile.regular line 28
6. lemma OAI.QuinticLienard.QuinticProfile.analytic line 34
7. lemma OAI.QuinticLienard.QuinticProfile.local_flow line 37
8. lemma OAI.QuinticLienard.QuinticProfile.profile_eq line 42