In Angrist's book Mostly Harmless Econometrics, section 3.4.2, it says $$ E[Y_i|D_i]=E[Y_i|Y_i>0,D_i]P[Y_i>0|D_i] $$, where $Y_i$ is a non-negative variable ($Y_i$ can be $0$) and $D_i$ is a dummy variable ($0$ and $1$).
I can somehow understand it intuitively, but I want a strict proof.
A discrete case is okay. Please avoid notations about measure theory since I'm a beginner.