Taketo Sano 5/30/2018 3:12 PM

例えば体上の一変数多項式環は EuclideanRing なのですが、これに i をつけたものが EuclideanRing になるかは分からないです