Theorem List.perm_middle

Modification history