∀ (name : Lean.Name) (info : Lean.Meta.ElimAltInfo) (mvarId : Lean.MVarId) (name_1 : Lean.Name)
  (info_1 : Lean.Meta.ElimAltInfo) (mvarId_1 : Lean.MVarId),
  ({ name := name, info := info, mvarId := mvarId } = { name := name_1, info := info_1, mvarId := mvarId_1 }) =
    (name = name_1 ∧ info = info_1 ∧ mvarId = mvarId_1)