OAI/Analysis/MatrixSigning/Potential/PairCone.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentKS.Variational.pairCone line 15
2. lemma OAI.CurrentKS.Variational.mem_pairCone line 20
3. lemma OAI.CurrentKS.Variational.isClosed_pairCone line 23
4. lemma OAI.CurrentKS.Variational.feasible_iff_cone line 26
5. lemma OAI.CurrentKS.Variational.continuousOn_residual line 31
6. theorem OAI.CurrentKS.Variational.exists_minimizer line 47