OAI/Analysis/LienardCycles/CharacteristicJets.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.ReferenceCharacteristic.C line 18
  2. def OAI.QuinticLienard.ReferenceCharacteristic.E line 19
  3. def OAI.QuinticLienard.ReferenceCharacteristic.K line 20
  4. def OAI.QuinticLienard.ReferenceCharacteristic.U line 21
  5. def OAI.QuinticLienard.ReferenceCharacteristic.V line 22
  6. def OAI.QuinticLienard.ReferenceCharacteristic.T line 23
  7. def OAI.QuinticLienard.ReferenceCharacteristic.B line 24
  8. lemma OAI.QuinticLienard.ReferenceCharacteristic.Az_deriv line 26
  9. lemma OAI.QuinticLienard.ReferenceCharacteristic.Ak_deriv line 38
  10. lemma OAI.QuinticLienard.ReferenceCharacteristic.E_z_deriv line 50
  11. lemma OAI.QuinticLienard.ReferenceCharacteristic.E_k_deriv line 59
  12. lemma OAI.QuinticLienard.ReferenceCharacteristic.D_deriv' line 68
  13. lemma OAI.QuinticLienard.ReferenceCharacteristic.Dz_deriv line 74
  14. lemma OAI.QuinticLienard.ReferenceCharacteristic.Dk_deriv line 85
  15. lemma OAI.QuinticLienard.ReferenceCharacteristic.U_deriv line 96
  16. lemma OAI.QuinticLienard.ReferenceCharacteristic.V_deriv line 105
  17. lemma OAI.QuinticLienard.ReferenceCharacteristic.T_deriv line 114
  18. lemma OAI.QuinticLienard.ReferenceCharacteristic.B_deriv line 126
  19. lemma OAI.QuinticLienard.ReferenceCharacteristic.B_formula line 136