diff --git a/inputs/lecture_19.tex b/inputs/lecture_19.tex index 569a5f8..b263d67 100644 --- a/inputs/lecture_19.tex +++ b/inputs/lecture_19.tex @@ -195,7 +195,7 @@ Such a factor $(Y,T)$ is called a \vocab{maximal isometric extension} of $(Z,T)$ \end{tikzcd}\] Suppose that whenever $y \neq y' \in Y$, - then either % TODO REALLY? + then % either % TODO REALLY? $\pi_1(y) \neq \pi(y')$ or $\pi_2(y) \neq \pi_2(y')$.