8 ms·

I'm now curious if this can be defined on Gaussian integers...

• lupire 2y ago
  It's already defined, as given, for all unique (prime) factorization domains, including Gaussian integers.