general/lemmas-in-group-theory
Surf Wiki
Burnside's lemma
Formula for number of orbits of a group action
Goursat's lemma
Algebraic theorem
Zassenhaus lemma
Technical lemma in group theory
Schreier's lemma
Theorem in group theory