∀ (ctorName : Lean.Name) (numFields : ℕ) (ctorName_1 : Lean.Name) (numFields_1 : ℕ),
  (CasesAltInfo.ctor ctorName numFields = CasesAltInfo.ctor ctorName_1 numFields_1) =
    (ctorName = ctorName_1 ∧ numFields = numFields_1)