Theorem List.isRotated_append

Modification history