OrthogonalMatrixQ

OrthogonalMatrixQ[m] gives True if m is an explicitly orthogonal matrix, and False otherwise.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.