Scaling $x\mapsto 2x+c$ transports tree safety to the shifted subtree witness, both directions

Initializing...

Scaling $x\mapsto 2x+c$ transports tree safety to the shifted subtree witness, both directions · Prove2Me