Bilipschitz extensions from smooth manifolds (Q1907049)

We prove that every compact \(C^1\)-submanifold of \(\mathbb{R}^n\), with or without boundary, has the bilipschitz extension property in \(\mathbb{R}^n\).