Documentation
FirstOrderMethodsOptimization_Beck_2017
.
Chap12
.
Proposition_12_1
Search
return to top
source
Imports
Init
Mathlib
FirstOrderMethodsOptimization_Beck_2017.Chap12.Theorem_12_2
Imported by