Theorem List.isRotated_prev_eq

Modification history