∀ {i : Type u} {b : Type v} {container : b} {content : Array (Lean.Doc.Block i b)} {container_1 : b}
  {content_1 : Array (Lean.Doc.Block i b)},
  Lean.Doc.Block.other container content = Lean.Doc.Block.other container_1 content_1 →
    container = container_1 ∧ content = content_1