Lemma 93.10.4. In Lemma 93.10.3 if X and Y are both proper over k, then \text{Inf}(\mathcal{D}\! \mathit{ef}_{X \to Y}) and T\mathcal{D}\! \mathit{ef}_{X \to Y} are finite dimensional.
Proof. Omitted. Hint: argue as in Lemma 93.9.4 and use the exact sequence of the lemma. \square
Comments (0)
There are also: