Theorem List.length_rotate'

Modification history