Class Field Theory
《Class Field Theory》 · 第 134–135 页 · Theorem 5.1
For a fibration \(F\hookrightarrow E\to B\) with \(B\) path-connected and \(F\) connected, there is a natural first-quadrant spectral sequence converging to \(H_*(E;G)\), with \(E^2_{p,q}\cong H_p(B;H_q(F;G))\).