Theorem Finset.List.toFinset_eq_iff_perm_dedup

Modification history