∀ {X Y Z : AlgebraicGeometry.Scheme} (f : X ⟶ Y) (g : Y ⟶ Z) [AlgebraicGeometry.IsSeparated f]
  [AlgebraicGeometry.IsSeparated g], AlgebraicGeometry.IsSeparated (CategoryTheory.CategoryStruct.comp f g)