EN
In this paper, we prove a covariant version of the Stinespring theorem for Hilbert C*-modules. Also, we show that there is a bijective correspondence between operator valued completely positive maps, (u′, u)-covariant with respect to the dynamical system (G, η, X) on Hilbert C*-modules and (u′, u)-covariant operator valued completely positive maps on the crossed product G ×η X of X by η.