Smooth isotopy (source code)

= Smooth isotopy

A smooth isotopy is a smooth family of <smooth embeddings> or <diffeomorphisms> parametrized by an interval and beginning at the given map.