OAI/Analysis/LienardCycles/SchwarzianScaling.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ModelAlgebra.zero_sign_conditional line 16
2. lemma OAI.QuinticLienard.ModelAlgebra.schwarzian_scaling line 44
3. lemma OAI.QuinticLienard.ModelAlgebra.dStar_scaling line 48
4. lemma OAI.QuinticLienard.ModelAlgebra.wStar_scaling line 52
5. lemma OAI.QuinticLienard.ModelAlgebra.X_scaling line 56
6. lemma OAI.QuinticLienard.ModelAlgebra.zero_sign_unscaled line 60