OAI/Analysis/LienardCycles/CharacteristicSigns.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ReferenceCharacteristic.monotone_zero_nonneg line 20
2. lemma OAI.QuinticLienard.ReferenceCharacteristic.strictMono_zero_pos line 27
3. lemma OAI.QuinticLienard.ReferenceCharacteristic.J_strictAnti line 35
4. lemma OAI.QuinticLienard.ReferenceCharacteristic.AH_tendsto line 45
5. lemma OAI.QuinticLienard.ReferenceCharacteristic.AH_deriv line 61
6. lemma OAI.QuinticLienard.ReferenceCharacteristic.A_pos_before line 69