Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.structure_sheaf.stalk_to_fiber_ring_hom_germ'

Modification history