Theorem List.length_rotate

Modification history