Theorem Orientation.rightAngleRotationAux₁_rightAngleRotationAux₁

Modification history