Birkhoff-Grothendieck theorem

Summary