Theorem Orientation.kahler_comp_rightAngleRotation'

Modification history