OAI/Analysis/LienardCycles/RiccatiJets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.RiccatiJets.mixed_equation line 19
2. lemma OAI.QuinticLienard.RiccatiJets.mixed_equation_eventually line 27
3. theorem OAI.QuinticLienard.RiccatiJets.jets_eventually line 34
4. def OAI.QuinticLienard.RiccatiJets.logJet line 74
5. def OAI.QuinticLienard.RiccatiJets.schwarzJet line 75
6. theorem OAI.QuinticLienard.RiccatiJets.invariant_derivatives line 78