Every trajectory off $P$ meets every leaf at arbitrarily large and arbitrarily negative times

Initializing...

Every trajectory off $P$ meets every leaf at arbitrarily large and arbitrarily negative times · Prove2Me