Removed the unnecessary connectivity assumption.
]]>But just because that’s the non-trivial thing to prove. The generalization to several connected components is then a trivial algebraic consequence.
]]>Nestruev only established the equivalence for vector bundles over a connected manifold.
Anonymous
]]>