Lemma 42.58.1. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be a quasi-compact regular scheme of finite type over $S$ with affine diagonal and $\delta _{X/S} : X \to \mathbf{Z}$ bounded. Then the composition
of the map $ch$ from Remark 42.56.5 and the map $c \mapsto c \cap [X]$ is an isomorphism.
Comments (2)
Comment #7542 by Hao Peng on
Comment #7545 by Johan on