OAI/Analysis/MatrixSigning/Potential/Parameters.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CurrentKS.Variational.Parameters line 24
2. def OAI.CurrentKS.Variational.kktJoint line 35
3. lemma OAI.CurrentKS.Variational.contDiffAt_kktGiven line 38
4. lemma OAI.CurrentKS.Variational.contDiffAt_kktJoint line 61
5. theorem OAI.CurrentKS.Variational.exists_smooth_kkt_branch line 66
6. theorem OAI.CurrentKS.Variational.optimal_of_kkt line 86