Restriction induces $\operatorname{Gal}(E/F)/H \cong \operatorname{Gal}(E^H/F)$ for normal $H$

Initializing...

Restriction induces $\operatorname{Gal}(E/F)/H \cong \operatorname{Gal}(E^H/F)$ for normal $H$ · Prove2Me