feat(group_theory/quotient_group): the Zassenhaus lemma

[winston-h-zhang]

We prove the Zassenhaus/butterfly lemma. Hooray!

---

(I didn't really know where to put this. It doesn't feel like it deserves its own file, but it isn't quite an isomorphism theorem.)