Return to Revisions

Yes. You can choose an injective resolution of $X$ as an $A\otimes B^{op}$-module and we can use it to compute $RHom_A(G,X)$ as a $B^{op}$-module. This is still an injective resolution of $X$ as an $A$-module as well, so its higher homology vanishes.