Documentation
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
.
Chap06
.
Definition_6_33
Search
return to top
source
Imports
Init
IntroductoryLecturesOnConvexOptimization_Nesterov_2004.Chap06.Theorem_6_4
Mathlib.Tactic.Recall
Imported by