1. CLRS-Lean
  2. Chapter 23. Minimum Spanning Trees
  3. 23.2. Kruskal and Prim
  4. Union-Find Refinement
Imports
import CLRSLean.FourthEdition.Chapter_21.Section_21_2_Kruskal_And_Prim.S1_UnionFindBridge

Section 23.2 - Union-find bridge for Kruskal (legacy compatibility path)

Third-edition-numbered compatibility path for the union-find bridge for Kruskal. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_21.Section_21_2_Kruskal_And_Prim.S1_UnionFindBridge; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).