OAI/Analysis/LienardCycles/OpenArch.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.QuinticLienard.ScalarArcs.IsOpenArch line 23
2. lemma OAI.QuinticLienard.ScalarArcs.IsOpenArch.peak_exists line 30
3. lemma OAI.QuinticLienard.ScalarArcs.profile_extension_along_compact line 42
4. lemma OAI.QuinticLienard.ScalarArcs.IsOpenArch.derivative_signs line 52
5. lemma OAI.QuinticLienard.ScalarArcs.IsOpenArch.monotonicity line 81
6. lemma OAI.QuinticLienard.ScalarArcs.IsOpenArch.subarch line 99