Documentation
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
.
Chap04
.
Text_4_2_1
Search
return to top
source
Imports
Init
IntroductoryLecturesOnConvexOptimization_Nesterov_2004.Compat
Mathlib.Tactic.Recall
Imported by