Documentation
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
.
Chap03
.
Proposition_3_56
Search
return to top
source
Imports
Init
IntroductoryLecturesOnConvexOptimization_Nesterov_2004.Chap03.Lemma_3_3_9
Mathlib.Tactic.Recall
Imported by