∀ {W P : CategoryTheory.MorphismProperty AlgebraicGeometry.Scheme} [W.IsStableUnderBaseChange]
  [AlgebraicGeometry.Scheme.IsJointlySurjectivePreserving W] [W.IsStableUnderComposition] [P.IsStableUnderBaseChange]
  [P.IsStableUnderComposition], (AlgebraicGeometry.sourceLocalClosure W P).IsStableUnderComposition