JAO equation (35): in the reference two-state gadget the time spent in $s_p$ is at least $\frac{T}{2}

Initializing...

JAO equation (35): in the reference two-state gadget the time spent in $s_p$ is at least $\frac{T}{2} - \frac{D'}{2}$ · Prove2Me