Theorem Orientation.rightAngleRotation_trans_neg_orientation

Modification history