ObjectProperty.isLocal is stable under transfinite compositions

If P : ObjectProperty C, then P.isLocal : MorphismProperty C is stable under transfinite compositions.

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

instance CategoryTheory.ObjectProperty.instIsStableUnderTransfiniteCompositionIsLocal {C : Type u} [Category.{v, u} C] (P : ObjectProperty C) : P.isLocal.IsStableUnderTransfiniteComposition