Documentation
FirstOrderMethodsOptimization_Beck_2017
.
Chap01
.
Proposition_1_4
Search
return to top
source
Imports
Init
Mathlib
Imported by