Tree-safety is invariant under $x\mapsto ux+v$, $u$ odd · Prove2Me

P

Initializing...

Tree-safety is invariant under $x\mapsto ux+v$, $u$ odd · Prove2Me