Commit 2024-07-10 10:57 cf79f2ed
View on Github →chore: remove Data/UnionFind (#14556)
Its implementation has been improved in lean4lean
and batteries
; the mathlib implementation can be removed in favour of these.
Searching github for 'import Mathlib.Data.UnionFind' only yields forks of mathlib (either explicit or manual); hence this seems safe to remove without a deprecation period.