Commit 422d5e6f authored by Roman Sauer 's avatar Roman Sauer

just a typo

parent c4118ec6
......@@ -185,7 +185,7 @@ Given a homotopy equivalence $f \colon X \xrightarrow{\simeq} Y$ of finite CW-co
& Y_1 \ar{rr}{\psi} & & Y
\end{tikzcd}
\end{equation*}
is a map of cellular pshouts such that $f_i$ are homotopy equivalences.
is a map of cellular pushouts such that $f_i$ are homotopy equivalences.
Then $f$ is a homotopy equivalence and
\begin{align*}
\tau(f) & = "\tau(f_1) + \tau(f_2) - \tau(f_0)"\\
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment