Commit 2024-08-27 19:30 e5701f28
View on Github →chore(Data/Set): make names consistent (#16155)
Currently we have Set.symmDiff_nonempty, Finset.sdiff_nonempty, Finset.symmDiff_nonempty and Set.diff_nonempty_of_ncard_lt_ncard. Set.nonempty_diff does not follow the pattern of all of the others, and thus is changed.