P
Initializing...
The `x`-chart modulo its slope `W` is `R/(t)`, compatibly with the structure maps. · Prove2Me