Normal covering map (source code)

= Normal covering map

A connected covering is normal, or regular, when its deck transformations act transitively on each fibre. Under the subgroup classification, this is equivalent to the associated subgroup of the fundamental group being normal.