Orthogonal group (source code)

= Orthogonal group
{tag=Isometry group}
{wiki}

= $O(n)$
{synonym}
{title2}