# 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`

.