Glättung endlich-differenzierbarer Räume
every finite-differentiable space can be smoothed to an infinitedifferentiable space having the same embedding dimension at each point
scientific article; zbMATH DE number 3725336