Theorem List.perm_replicate_append_replicate

Modification history