OAI/Analysis/LienardCycles/PositiveParabolic.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.PositiveFixedWidth.endpoint_formulas line 31
2. theorem OAI.QuinticLienard.PositiveFixedWidth.witness line 41
3. theorem OAI.QuinticLienard.PositiveParameterVariation.zero_profile_variation line 83