Theorem: Lean4Lean.UnionFind.parent_push (Lean4Lean/Verify/UnionFind.lean)

State before:
a : Nat
m : UnionFind
⊢ parent (push m) a = parent m a
Tactic:
simp [parent]
State after:
no goals