feat: strict convexity from an injective derivative, and steepness of the inverse of the derivative - #322

feat: strict convexity from an injective derivative, and steepness of the inverse of the derivative#322

lmlexplore-automation[bot] merged 1 commit into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

prevostad:roadmap/strict-convexity-steepness-inverse-gradient-worker1prevostad/LMLExplore:roadmap/strict-convexity-steepness-inverse-gradient-worker1Copy head branch name to clipboard