Theorem List.rotate'_length_mul

Modification history