OAI/Analysis/LienardCycles/EndpointAlgebra.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.EndpointAlgebra.X line 17
  2. def OAI.QuinticLienard.EndpointAlgebra.Z line 18
  3. def OAI.QuinticLienard.EndpointAlgebra.gamma line 19
  4. def OAI.QuinticLienard.EndpointAlgebra.Z1 line 20
  5. def OAI.QuinticLienard.EndpointAlgebra.Z2 line 21
  6. def OAI.QuinticLienard.EndpointAlgebra.X1 line 23
  7. def OAI.QuinticLienard.EndpointAlgebra.X2 line 24
  8. def OAI.QuinticLienard.EndpointAlgebra.N0 line 27
  9. def OAI.QuinticLienard.EndpointAlgebra.N1 line 28
  10. def OAI.QuinticLienard.EndpointAlgebra.N2 line 29
  11. def OAI.QuinticLienard.EndpointAlgebra.gamma1 line 31
  12. def OAI.QuinticLienard.EndpointAlgebra.gamma2 line 32
  13. lemma OAI.QuinticLienard.EndpointAlgebra.determinant line 36
  14. lemma OAI.QuinticLienard.EndpointAlgebra.gamma_identity line 43
  15. lemma OAI.QuinticLienard.EndpointAlgebra.gamma_factor line 52