Theorem List.get_rotate_one

Modification history