Theorem List.repeat_perm

Modification history