∀ {C : Type u_1} [inst : CategoryTheory.Category.{v_1, u_1} C] [inst_1 : HomotopicalAlgebra.ModelCategory C],
  HomotopicalAlgebra.BifibrantObject.toHoCat.IsLocalization
    (HomotopicalAlgebra.weakEquivalences (HomotopicalAlgebra.BifibrantObject C))