Source: wikibot/kirszbraun-theorem

= Kirszbraun theorem
{wiki=Kirszbraun_theorem}