P
Initializing...
In the chart `R[x/t]`, `x = t * (x/t)`. · Prove2Me