Both strict exit clocks on a countable future observation schedule are Borel measurable

Initializing...

Both strict exit clocks on a countable future observation schedule are Borel measurable · Prove2Me