Lemma 9.2
Kurs:Vector bundles, forcing algebras and local cohomology (Medellin 2012)/Vorlesung 9 Endlicher Körper/Glatte projektive Kurve/Vektorbündel/Etale trivialisierbar und Frobenius Periodizität/Fakt/en