The statement is wrong. Just take $G_1=\mathbb{Z}_2$, $H_1=\{0\}$, $G_2=\{0\}$. Then $H_2=\{0\}$ and $G_1/H_1=\mathbb{Z}_2$ is not isomorphic to $G_2/H_2=\{0\}$.

Isomorphism between quotient groups with normal subgroups
I see a nicely colored output in my terminal.

The terminal has a "Export Text As" command but it saves a plain-text file without the colors. Same with copy&amp;paste.

Do you know a way to save terminal output including colors?
