Surface quotient by a free finite action
= 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.