There are no two non-real conjugates of a Pisot number with the same imaginary part

From MaRDI portal
Publication:6255267