feat: Lagrange duality for finitely many convex constraints under Slater's condition - #387

feat: Lagrange duality for finitely many convex constraints under Slater's condition#387

lmlexplore-automation[bot] merged 7 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/lagrange-duality-slater-worker3RemyDegenne/LMLExplore:roadmap/lagrange-duality-slater-worker3Copy head branch name to clipboard