P
Initializing...
The first level `A/(t)` of the `t`-chart is the polynomial ring `(R/(t, x))[Z]`. · Prove2Me