OAI/Analysis/LienardCycles/RiccatiDerivatives.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.RiccatiJets.deriv_analytic line 19
2. lemma OAI.QuinticLienard.RiccatiJets.curve_hasDerivAt line 22
3. lemma OAI.QuinticLienard.RiccatiJets.root_first line 29
4. lemma OAI.QuinticLienard.RiccatiJets.root_first_eventually line 39
5. lemma OAI.QuinticLienard.RiccatiJets.root_second line 49
6. lemma OAI.QuinticLienard.RiccatiJets.root_second_eventually line 68
7. lemma OAI.QuinticLienard.RiccatiJets.root_third line 80
8. def OAI.QuinticLienard.RiccatiJets.schwarzian line 108
9. lemma OAI.QuinticLienard.RiccatiJets.root_invariants line 111