Currently I’m reading the paper of Prof. Peter Teichner On the Signature of four-manifolds with universal covering spin, and I was stuck on the following passage:

The homotopy fibration induces an exact sequence in cohomology

I managed to find a solution to it now, and I thought it could be a good idea to write it here: