Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.stalk_to_fiber_ring_hom_to_stalk

Modification history