P
Initializing...
`x + Out(x) ≤ 1` on `[0,1/2]` · Prove2Me