∀ (C : Type u_1) [inst : CategoryTheory.Category.{u_2, u_1} C] [inst_1 : HomotopicalAlgebra.ModelCategory C],
  HomotopicalAlgebra.weakEquivalences (HomotopicalAlgebra.FibrantObject C) ≤
    (HomotopicalAlgebra.weakEquivalences C).inverseImage HomotopicalAlgebra.FibrantObject.ι