Theorem Orientation.inner_rightAngleRotation_swap'

Modification history