simp [member_isEmpty_obj?_none h]
α : Type
inst✝ : Hierarchical α
rtr₁ : α
cpt : Component.Valued
i : ID
v : Value
h : IsEmpty (Member (Component.val cpt) i rtr₁)
⊢ rtr₁[Component.val cpt][i] = (fun x => v) <$> rtr₁[Component.val cpt][i]
no goals