Degree of a connected covering (source code)

= Degree of a connected covering

For a connected covering corresponding to $H\leq\pi_1(X)$, every fibre has cardinality $[\pi_1(X):H]$.