Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-07 05:46 94b96cff

View on Github →

feat(algebraic_geometry/structure_sheaf): stalk_iso (#4047) Given a ring R and a prime ideal p, construct an isomorphism of rings between the stalk of the structure sheaf of R at p and the localization of R at p.

Estimated changes