Theorem Orientation.areaForm_rightAngleRotation_right

Modification history