∀ {C : Type u} {X Y : CategoryTheory.FreeMonoidalCategory C} {f g h : X.Hom Y},
  CategoryTheory.FreeMonoidalCategory.HomEquiv f g →
    CategoryTheory.FreeMonoidalCategory.HomEquiv g h → CategoryTheory.FreeMonoidalCategory.HomEquiv f h