 A fundamental fact of differential topology is that the notion of isomorphism in Top, PL, and Diff is the same in dimension 3 and below; in dimension 4, PL and Diff agree, but Top differs.In dimension above 6 they all differ.In dimensions 5 and 6 every PL manifold admits an infinitely differentiable structure that is so-called "Whitehead compatible".