Surface quotient by a free finite action
ID: surface-quotient-by-a-free-finite-action
A free action of a finite group on a topological surface has a surface quotient: sufficiently small coordinate discs have disjoint translates and descend homeomorphically to quotient neighbourhoods.
New to topics? Read the docs here!