simp [State.Closed, forcing]
α : Type
inst✝¹ : Hierarchical α
inst✝ : Reactor.Finite α
rtr✝ rtr₁ : α
s : State.Over rtr✝
rtr : α
rcn : ID
h : rcn ∈ rtr[Component.rcn]
⊢ ¬Closed (forcing rtr rcn).toState
α : Type
inst✝¹ : Hierarchical α
inst✝ : Reactor.Finite α
rtr✝ rtr₁ : α
s : State.Over rtr✝
rtr : α
rcn : ID
h : rcn ∈ rtr[Component.rcn]
⊢ rcn ∈ Partial.ids (rtr[Component.rcn])