OAI/Analysis/LienardCycles/EndpointScaling.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.EndpointAlgebra.X_reparam line 19
2. lemma OAI.QuinticLienard.EndpointAlgebra.Z_reparam line 34
3. lemma OAI.QuinticLienard.EndpointAlgebra.N0_reparam line 46
4. lemma OAI.QuinticLienard.EndpointAlgebra.gamma_reparam line 60
5. lemma OAI.QuinticLienard.EndpointAlgebra.Z1_reparam line 71
6. lemma OAI.QuinticLienard.EndpointAlgebra.X1_reparam line 85
7. lemma OAI.QuinticLienard.EndpointAlgebra.N1_reparam line 104
8. lemma OAI.QuinticLienard.EndpointAlgebra.gamma1_reparam line 120