I'm trying to prove a specific lemma, one that shows that
R(u X v) = Ru X Rv
R SO(3) is a special orthogonal rotation matrix;
u,v are vectors;
and X is the cross product.
Do I need to prove this using direct calculation, expanding and expanding.. I've tried and it gets quite large and unmanageable for me. Are there any other tricks I could try?