Theorem: Lean4Lean.UnionFind.find_root_2 (Lean4Lean/UnionFind.lean)

State before:
self : UnionFind
x : Fin (size self)
⊢ ↑(find self x).snd.val = root self ↑x
Tactic:
simp [find, findAux_root, root]
State after:
no goals