Second eigenvalue of orthogonal matrix (second eigenvalue of an orthogonal matrix)

From MaRDI portal