OAI/Analysis/LienardCycles/CaseOne.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.linear_pos_open line 23
2. def OAI.QuinticLienard.oddPart line 50
3. lemma OAI.QuinticLienard.oddPart_pos line 51
4. lemma OAI.QuinticLienard.profile_odd_difference line 64
5. lemma OAI.QuinticLienard.no_periodic_case1 line 78