User:Blackbombchu/Sandbox/Definition:Rotation

For any natural number n, in Rn, a rotation is a transformation T from Rn to Rn such that
 * There exists transformations R and S from Rn to Rn such that
 * R is an origin rotation
 * S is a translation
 * T = S ∘ R ∘ S-1