∀ {name : Lean.Name} {outParams outLevelParams : Array ℕ} {name_1 : Lean.Name} {outParams_1 outLevelParams_1 : Array ℕ},
  { name := name, outParams := outParams, outLevelParams := outLevelParams } =
      { name := name_1, outParams := outParams_1, outLevelParams := outLevelParams_1 } →
    name = name_1 ∧ outParams = outParams_1 ∧ outLevelParams = outLevelParams_1