Add documentation for is_rotation.py