chore(Data/Finset): deprecate Finset.exists_ne_of_one_lt_card (duplicate) (#28437)
Finset.exists_ne_of_one_lt_card