Finite-horizon truncation of an extended nonnegative stopping clock remains a stopping clock

Initializing...

Finite-horizon truncation of an extended nonnegative stopping clock remains a stopping clock · Prove2Me