Link to original\mathrm{Res}_H^G(\mathrm{Ind}_K^G(V))\simeq\oplus_{g\in [H\backslash G/K]}\mathrm{Ind}_{H\cap {}^gK}^H({}^g\mathrm{Res}_{H^g\cap K}^K V).
Link to original\mathrm{Res}_H^G(\mathrm{Ind}_K^G(V))\simeq\oplus_{g\in [H\backslash G/K]}\mathrm{Ind}_{H\cap {}^gK}^H({}^g\mathrm{Res}_{H^g\cap K}^K V).