Remark 9.1.5. The proof uses the usual partition-of-unity argument: a bundle on \(Y \times [0,1]\) is locally constant in the interval direction after subdividing \([0,1]\), and paracompactness lets one patch the resulting local isomorphisms. We will use only the conclusion above.
Generated from the authoritative LaTeX source.