Theorem List.perm_reverse

Modification history