Extended first-passage clocks coincide when all strict-horizon crossing witnesses coincide

Initializing...

Extended first-passage clocks coincide when all strict-horizon crossing witnesses coincide · Prove2Me