Lemma 88.12.4. Let $\varphi : A \to B$ be an arrow of $\textit{WAdm}^{count}$. If $\varphi $ is taut and topologically of finite type, then $\varphi $ satisfies the condition defined in Lemma 88.12.1.
Proof. This is an easy consequence of the definitions. $\square$
Comments (0)