Theorem List.Sublist.exists_perm_append

Modification history