 Künneth spectral sequence

For a bounded complex $P$ of projective right modules and a left module $M$ of finite projective dimension, a finite projective resolution of $M$ yields a bounded double cochain complex. Its two spectral sequences give the displayed abutment. Over a noncommutative ring, the handedness of the two tensor factors is essential.