∀ (ctorName : Lean.Name) (numParams i : ℕ) (fromClass : Bool) (ctorName_1 : Lean.Name) (numParams_1 i_1 : ℕ)
  (fromClass_1 : Bool),
  ({ ctorName := ctorName, numParams := numParams, i := i, fromClass := fromClass } =
      { ctorName := ctorName_1, numParams := numParams_1, i := i_1, fromClass := fromClass_1 }) =
    (ctorName = ctorName_1 ∧ numParams = numParams_1 ∧ i = i_1 ∧ fromClass = fromClass_1)