∀ (wi : Lean.Widget.WidgetInstance) (alt : Lean.Widget.TaggedText Lean.Widget.MsgEmbed)
  (wi_1 : Lean.Widget.WidgetInstance) (alt_1 : Lean.Widget.TaggedText Lean.Widget.MsgEmbed),
  (Lean.Widget.MsgEmbed.widget wi alt = Lean.Widget.MsgEmbed.widget wi_1 alt_1) = (wi = wi_1 ∧ alt = alt_1)