Elements of the orthogonal group have determinant plus or minus one

ID: elements-of-the-orthogonal-group-have-determinant-plus-or-minus-one

New to topics? Read the docs here!