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

Initializing...

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