Theorem List.exists_perm_sublist

Modification history