# Smooth homotopy theorem

From Diffgeom

## Statement

- Suppose is a continuous map between differential manifolds. Then, there exists a smooth map such that is homotopy-equivalent to
- Suppose is a homotopy between smooth maps and . Then, there exists a homotopy from to that is
*smooth*as a map from to .