Theorem List.rotate_singleton

Modification history