Theorem List.rotate_zero

Modification history