show/hide this revision's text 2 added 94 characters in body

In the category of finite dimensional manifolds, I proved this in a very long paper (p. 23): the composition of smooth fiber bundle maps is a smooth fiber bundle map. See page 23 of this paperSpanier's counterexample is not a finite dimensional manifold.

show/hide this revision's text 1

I proved this in a very long paper: the composition of smooth fiber bundle maps is a smooth fiber bundle map. See page 23 of this paper