Zassenhaus lemma

GPTKB entity