Corollary 3.12 (Finite \(!\) -pullback) 

Let \(f:X \rightarrow Y\)  be a finite morphism of rigid spaces over \(K\) . Then the right adjoint \(Rf^!:D^+(Y,\mathbf {Z}/n) \rightarrow D^+(X,\mathbf {Z}/n)\)  to \(f_! = f_*\)  constructed in [1]} preserves \(D^{(b)}_{zc}(-)\) .

