Kirszbraun theorem

The Kirszbraun theorem, also known as Kirszbraun's extension theorem, is a result in the field of metric geometry and functional analysis. It addresses the extension of Lipschitz continuous functions.