P
Initializing...
The finite stopping clock is measurable at its stopped-history sigma-algebra · Prove2Me