Displaying similar documents to “A spectral theorem for matrices over fields of power series”