Theorem List.next_prev

Modification history