Commit 2023-06-18 00:43 2372d46e
View on Github →feat: Lipschitz extensions of maps into l^infty (#5107)
A function f : α → ℓ^∞(ι, ℝ) which is K-Lipschitz on a subset s admits a K-Lipschitz extension to the whole space.
feat: Lipschitz extensions of maps into l^infty (#5107)
A function f : α → ℓ^∞(ι, ℝ) which is K-Lipschitz on a subset s admits a K-Lipschitz extension to the whole space.