107.5.21.1
\begin{equation} \label{stacks-geometry-equation-dim-inequality} \dim _{u'} (U') = \dim _{u'} (U'_{f(u')}) + \dim _{f'(u')}(\mathcal{T}) \\ \geq \dim _ u (U_{f(u)}) + \dim _{f(u)}(\mathcal{X}) = \dim _ u (U). \end{equation}
Comments (2)
Comment #8821 by uikmuuyiok on
Comment #9269 by Stacks project on