Theorem rotation_symm

Modification history