Documentation
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
.
Chap01
.
Proposition_1_7_4
Search
return to top
source
Imports
Init
IntroductoryLecturesOnConvexOptimization_Nesterov_2004.Chap01.Definition_1_2_5
Mathlib.Tactic.Recall
Imported by