Repository navigation

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

Merged

lmlexplore-automation[bot] merged 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/lagrange-duality-slater-worker1

Nov 14, 2026

Merged

feat: Lagrange duality for finitely many convex constraints under Slater's condition#388
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lagrange-duality-slater-worker1

Commits on Nov 14, 2026
- feat: Lagrange duality for finitely many convex constraints under Slater's condition
  
  RemyDegenne
  and
  web-flow
  committed
  a55b402
- refactor: make the coordinate expansion of linear maps on R × (ι → R) public
  
  RemyDegenne
  and
  web-flow
  committed
  39e4ef8