Nonemptiness transfer (psi-side): a nonempty Y-stage forces a nonempty X-stage at the pullback level

Initializing...

Nonemptiness transfer (psi-side): a nonempty Y-stage forces a nonempty X-stage at the pullback level · Prove2Me