OAI/Analysis/LienardCycles/CharacteristicScaling.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ReferenceCharacteristic.base_translation line 19
2. lemma OAI.QuinticLienard.ReferenceCharacteristic.J_reparam line 27
3. lemma OAI.QuinticLienard.ReferenceCharacteristic.Jz_pos line 35
4. lemma OAI.QuinticLienard.ReferenceCharacteristic.Az_formula line 54
5. lemma OAI.QuinticLienard.ReferenceCharacteristic.Ak_formula line 60
6. lemma OAI.QuinticLienard.ReferenceCharacteristic.Dz_formula line 69
7. lemma OAI.QuinticLienard.ReferenceCharacteristic.Dk_formula line 75
8. lemma OAI.QuinticLienard.ReferenceCharacteristic.Az_pos line 88