Theorem Orientation.inner_rightAngleRotationAux₁_left

Modification history