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

Initializing...

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