Commit 2024-10-01 11:49 69c3e925

View on Github →

feat: Convex functions are continuous (#14999) Prove that convex functions from an open set in a finite dimensional real normed space are locally Lipschitz on that set.

Estimated changes