Theorem: endNodesOfSimple (Bml/Tableau.lean)

State before:
LR : TNode
hyp : Simple LR
⊢ endNodesOf ⟨LR, fromSimple hyp⟩ = [LR]
Tactic:
simp only [endNodesOf]
State after:
no goals