Documentation
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
.
Chap05
.
Definition_5_2_7
Search
return to top
source
Imports
Init
IntroductoryLecturesOnConvexOptimization_Nesterov_2004.Chap04.Definition_4_3_4
Mathlib.Tactic.Recall
Imported by