Theorem rotationOf_rotation

Modification history