Regular covering map (source code)

= Regular covering map

A covering is regular when its deck group acts transitively on each fibre, equivalently when its fundamental-group subgroup is normal.