§ Torsion as giving monodromy of path lifts (TODO)

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