OAI/Analysis/LienardCycles/EndpointSigns.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ModelEndpoint.sch_eq line 20
2. lemma OAI.QuinticLienard.ModelEndpoint.actual_zero_sign line 25
3. lemma OAI.QuinticLienard.ModelEndpoint.dStar_zero_of_W_zero line 63
4. lemma OAI.QuinticLienard.ModelEndpoint.gamma_zero_sign line 77
5. lemma OAI.QuinticLienard.ModelEndpoint.gamma_source_sign line 93