Theorem List.reverse_perm

Modification history