OAI/Analysis/LienardCycles/BaseLimits.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ReferenceCharacteristic.base_bounds line 19
2. lemma OAI.QuinticLienard.ReferenceCharacteristic.base_tendsto_zero line 25
3. lemma OAI.QuinticLienard.ReferenceCharacteristic.model_tendsto line 36
4. lemma OAI.QuinticLienard.ReferenceCharacteristic.U_B_positive_near_zero line 42
5. lemma OAI.QuinticLienard.ReferenceCharacteristic.K_pos line 54
6. lemma OAI.QuinticLienard.ReferenceCharacteristic.U_pos line 59
7. lemma OAI.QuinticLienard.ReferenceCharacteristic.B_pos line 75
8. lemma OAI.QuinticLienard.ReferenceCharacteristic.J_surjective line 93