Deck involution of a double covering (source code)

= Deck involution of a double covering

Every two-sheeted covering of a path-connected base has a nonidentity deck transformation that exchanges the two sheets. In monodromy terms, every subgroup of $S_2$ is centralized by its unique transposition.