∀ {C : Type u} [inst : CategoryTheory.Category.{v, u} C] [inst_1 : HomotopicalAlgebra.ModelCategory C]
  (X : HomotopicalAlgebra.CofibrantObject C), HomotopicalAlgebra.WeakEquivalence X.iBifibrantResolutionObj