Theorem List.replicate_perm

Modification history