OAI/Analysis/LienardCycles/AlgebraicFlow.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.SmoothFlow.pathMap line 21
2. lemma OAI.QuinticLienard.SmoothFlow.pathMap_apply line 24
3. lemma OAI.QuinticLienard.SmoothFlow.pathMap_const line 26
4. inductive OAI.QuinticLienard.SmoothFlow.AlgebraicExpr line 28
5. def OAI.QuinticLienard.SmoothFlow.AlgebraicExpr.eval line 36
6. def OAI.QuinticLienard.SmoothFlow.AlgebraicExpr.RegularAt line 43
7. lemma OAI.QuinticLienard.SmoothFlow.AlgebraicExpr.eval_analytic line 50
8. def OAI.QuinticLienard.SmoothFlow.AlgebraicExpr.onPaths line 59
9. lemma OAI.QuinticLienard.SmoothFlow.AlgebraicExpr.path_properties line 66
10. theorem OAI.QuinticLienard.SmoothFlow.algebraic_profile_flow line 117