I am in the situation of having to understand groups $[\mathbb{S},E\wedge X_+]:=\pi_0\text{Map}_{\text{Sp}(\text{Pro}(\mathcal{S}))}(\mathbb{S},E\wedge X_+)$ in $\text{Sp}(\text{Pro}(\mathcal{S}))$, the stabilization of the $\infty$-category of pro-spaces. Here, $E$ is an object of $\text{Sp}(\text{Pro}(\mathcal{S}))$, and $X$ is a pro-space. Suppose $X=\{X_{\alpha}\}$ is a projective system of spaces. Sanity check: Is it true that $\text{Map}_{\text{Sp}(\text{Pro}(\mathcal{S}))}(\mathbb{S},E\wedge X_+)=\text{holim}_{\alpha} \text{Map}_{\text{Sp}(\text{Pro}(\mathcal{S}))}(\mathbb{S},E\wedge X_{\alpha+})$? If the groups $[\mathbb{S},E\wedge X_{\alpha+}]$ are all finite, then I suspect that we would then have $[\mathbb{S},E\wedge X_+]=\text{lim}_{\alpha} [\mathbb{S},E\wedge X_{\alpha+}]$, but is there a Mittag-Lefler type of argument for when the indexing set is not sequential?

I edited the question in response to Tyler Lawson's comment.