OAI/Analysis/MatrixSigning/Potential/Vars.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CurrentKS.Variational.Vars line 17
  2. def OAI.CurrentKS.Variational.identityPair line 22
  3. def OAI.CurrentKS.Variational.tCoord line 24
  4. def OAI.CurrentKS.Variational.uCoord line 25
  5. def OAI.CurrentKS.Variational.pCoord line 28
  6. def OAI.CurrentKS.Variational.xCoord line 31
  7. def OAI.CurrentKS.Variational.yCoord line 32
  8. def OAI.CurrentKS.Variational.mCoord line 33
  9. def OAI.CurrentKS.Variational.nCoord line 34
  10. def OAI.CurrentKS.Variational.kktSystem line 36
  11. lemma OAI.CurrentKS.Variational.hasFDerivAt_kktSystem line 45