Quillen gives the following projection formula his foundational paper on higher algebraic k-theory. (For simplicity, I assume all schemes are noetherian.)

Let $f: X \rightarrow Y$ be a proper map of finite tor dimension. Assume $X, Y$ have ample line bundles. Then, for $x \in K_0 X, y \in K_q' Y$ we have $$ f_*(x \cdot f^* y) = f_* (x) \cdot y$$

Where he says $f_*: K_0 X \rightarrow K_0 Y$ is the map of SGA 6 2.12.2 (no expose given).

Question:

Notion of finite tor dimension

Quillen defines a morphism $f: X \rightarrow Y$ to be "of finite tor dimension" if $\mathcal{O}_X$ is of finite tor dimension as a module over $f^{-1}(\mathcal{O}_Y)$.

Suppose $X, Y$ are quasiprojective. Then, (ref: Fulton/MacPherson Categorical framework for the study of singular spaces) being a morphism of finite tor dimension is the same as being a perfect morphism in the sense of SGA 6.

$\textbf{Question}$: I wasn't able to deduce if Quillen's notion of finite tor dimension is the same as being perfect in the sense of the stacks project (say if $X,Y$ have ample line bundles). Is this true?