Definitions
Definition of elementary rotation matrices
Created by
Mathematica
(September 29, 2003)