∀ {out : Lean.Widget.TaggedText (ℕ × ℕ)} {tagStack : List (ℕ × ℕ × Lean.Widget.TaggedText (ℕ × ℕ))} {column : ℕ}
  {out_1 : Lean.Widget.TaggedText (ℕ × ℕ)} {tagStack_1 : List (ℕ × ℕ × Lean.Widget.TaggedText (ℕ × ℕ))} {column_1 : ℕ},
  { out := out, tagStack := tagStack, column := column } =
      { out := out_1, tagStack := tagStack_1, column := column_1 } →
    out = out_1 ∧ tagStack = tagStack_1 ∧ column = column_1