ยง Torsion as giving monodromy of path lifts

https://mathoverflow.net/a/111198/123769