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