A right-persistent upper crossing has an inverse-natural grid witness before every horizon

Initializing...

A right-persistent upper crossing has an inverse-natural grid witness before every horizon · Prove2Me