P
Initializing...
Proposition 1.39(b): $G(\tilde X)\cong N(H)/H$ · Prove2Me