Three-dimensional rotation operator


Rotation operator is a formula.