Swan's theorem
The space of smooth sections of a vector bundle with finite dimensional fibers over a compact differentiable manifold M is isomorphic to a finitely generated projective module over .This article is a stub. You can help Wikipedia by fixing it.