Fiber-counting lemma for a quotient map

ID: fiber-counting-lemma-for-a-quotient-map

Let be a quotient group map, let be finite and symmetric, and suppose has . Then
Choose one lift in of each member of and multiply those lifts by . Distinct fibers are disjoint, while .

New to topics? Read the docs here!