P
Initializing...
The concrete surface modulo `(t, x)` is the residue field of `O`. · Prove2Me