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.
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.