I have a question about the joint distribution of the mid p-value and p-value.
We know that, for right tailed test with discrete test statistic $X$ with distribution $F$, the p-value is defined as $P=Pr(X \geq observed~X)$ and the mid p-value is defined as $mid~P=Pr(X \gt observed~X)+\frac{1}{2}*P(X=Observed)$.
I would like to find out $Pr(P_{mid} \leq t~and~P \gt t)$ for some $t \in (0,1)$. Here $P$ is the p-value and $P_{mid}$ is the mid p-value.
