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

State before:
self : UnionFind
x : Fin (size self)
⊢ size (find self x).fst = size self
Tactic:
simp [find, size, FindAux.size_eq]
State after:
no goals