{B : Type u} →
  [inst : CategoryTheory.Bicategory B] →
    {c d : B} →
      {l₁ l₂ : c ⟶ d} →
        {r₁ r₂ : d ⟶ c} →
          CategoryTheory.Bicategory.Adjunction l₁ r₁ →
            CategoryTheory.Bicategory.Adjunction l₂ r₂ → (l₂ ≅ l₁) ≃ (r₁ ≅ r₂)