Theorem List.rotate_length

Modification history