Documentation
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
.
Chap02
.
Definition_2_45
Search
return to top
source
Imports
Init
IntroductoryLecturesOnConvexOptimization_Nesterov_2004.Chap02.Lemma_2_21
Mathlib.Tactic.Recall
Imported by