OAI/Analysis/LienardCycles/UpperAssembly.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.no_isolated_zero_of_zero_on line 23
2. lemma OAI.QuinticLienard.reflectX_eq_of_even line 32
3. lemma OAI.QuinticLienard.no_isolated_matching_even line 35
4. lemma OAI.QuinticLienard.upper_nonnegative line 42
5. lemma OAI.QuinticLienard.quintic_representation line 61
6. lemma OAI.QuinticLienard.upper_bound line 67