Theorem Orientation.inner_rightAngleRotation_self

Modification history