Serre's theorem on projective modules

GPTKB entity