Theorem Set.toFinset_eq_empty

Modification history