Commit 2023-09-26 14:05 5c902e07

View on Github →

feat: locally Lipschitz maps (#7314) Define locally Lipschitz maps and show their basic properties. In particular, they are continuous and stable under composition and products. As an application, we conclude that C¹ maps are locally Lipschitz.

Estimated changes