Template:Topological constraint in smooth category

This article gives a purely topological (or set-theoretic) constraint that we get when we restrict ourselves to the category of differential manifolds with smooth maps