Theorem List.prev_reverse_eq_next

Modification history