LeftBousfield.W is stable under transfinite compositions

If P : ObjectProperty C, then Localization.LeftBousfield.W P : MorphismProperty C is stable under transfinite compositions.

instance CategoryTheory.Localization.LeftBousfield.instIsStableUnderTransfiniteCompositionOfShapeW {C : Type u} [Category.{v, u} C] (P : ObjectProperty C) (J : Type w) [LinearOrder J] [SuccOrder J] [OrderBot J] [WellFoundedLT J] : (W P).IsStableUnderTransfiniteCompositionOfShape J

instance CategoryTheory.Localization.LeftBousfield.instIsStableUnderTransfiniteCompositionW {C : Type u} [Category.{v, u} C] (P : ObjectProperty C) : (W P).IsStableUnderTransfiniteComposition