Theorem List.rotate'_rotate'

Modification history