Theorem List.reverse_perm'

Modification history