Let . Since is path-connected, choose a path from to . Horizontality of and part c implyThus is conjugate to the isomorphism and is itself an isomorphism. Since was arbitrary, is fiberwise invertible everywhere.
Articles by others on the same topic
There are currently no matching articles.