Wang sequence over a sphere (source code)

= Wang sequence over a sphere
{c}

For a fibration $F\to E\to S^n$, the <Wang homomorphism> belongs to the exact sequence
$$
\cdots\to H_j(F)\to H_j(E)\to H_{j-n}(F)
\xrightarrow{\Delta}H_{j-1}(F)\to\cdots.
$$