{P : Sort u} →
  {declName unfold declName' unfold' : Lean.Name} →
    Mathlib.Tactic.UnfoldBoundary.UnfoldEntry.unfold declName unfold =
        Mathlib.Tactic.UnfoldBoundary.UnfoldEntry.unfold declName' unfold' →
      (declName = declName' → unfold = unfold' → P) → P