P
Initializing...
For `0 < a` and `0 < L`, the class of `F` in `k⟦T, X⟧ ⧸ truncIdeal k a b L` is a unit iff the constant coefficient of `F` is nonzero. · Prove2Me