Lemma 36.38.4. Let $X$ be a Noetherian regular scheme of finite dimension. Then the map $K_0(X) \to K'_0(X)$ is an isomorphism.

Proof. Follows immediately from Lemma 36.11.8 and our construction of the map $K_0(X) \to K'_0(X)$ above. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).