Theorem Finset.exists_list_nodup_eq

Modification history