Theorem List.isRotated_next_eq

Modification history