Theorem List.next_reverse_eq_prev

Modification history