syncing incomplete lemma all_partitions_of_list_list_distinct