case refl => rfl
α : Type
inst✝ : Hierarchical α
s₁ : State α
out : Reaction.Output
s₂ : State α
i : ID
cpt : Component.Valued
s✝ : State α
h : List.Forall (fun x => ¬Change.Targets x cpt i) []
⊢ s✝.rtr[Component.val cpt][i] = s✝.rtr[Component.val cpt][i]
no goals