general/lemmas
Surf Wiki
Trilemma
Difficult choice from three options
Zassenhaus lemma
Technical lemma in group theory
Burnside's lemma
Formula for number of orbits of a group action
Schreier's lemma
Theorem in group theory
Goursat's lemma
Algebraic theorem