typo
Torsion sheaves
Internal proof of "torsion <==> generic stalk vanishes"