Emptyness push (Y side): an empty X-stage at level v forces an empty Y-stage at v + eps

Initializing...

Emptyness push (Y side): an empty X-stage at level v forces an empty Y-stage at v + eps · Prove2Me