OAI/Analysis/LienardCycles/RiccatiComparison.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.RiccatiJets.neg_deriv line 20
2. lemma OAI.QuinticLienard.RiccatiJets.neg_second_deriv line 23
3. lemma OAI.QuinticLienard.RiccatiJets.neg_third_deriv line 27
4. theorem OAI.QuinticLienard.RiccatiJets.parameter_multiplier line 31
5. theorem OAI.QuinticLienard.RiccatiJets.endpoint_formulas line 65