# Commit 2022-01-01 15:44 93cf56c5

View on Github →feat(algebraic_geometry/*): The map `F.stalk y ⟶ F.stalk x`

for `x ⤳ y`

(#11144)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebraic_geometry/*): The map `F.stalk y ⟶ F.stalk x`

for `x ⤳ y`

(#11144)