P
Initializing...
Odd affine maps $x\mapsto mx+s$ transport tree orders and tree safety exactly · Prove2Me