Theorem: Lean4Lean.UnionFind.parent'_lt (Lean4Lean/UnionFind.lean)

State before:
self : UnionFind
i : Fin (size self)
⊢ (Array.get self.arr i).parent < size self
Tactic:
simp [← parentD_eq, parentD_lt]
State after:
no goals