P
Initializing...
The quotient of `k[[T,X]]` by one variable has infinite length. · Prove2Me