mathlib3

1c134548 - feat(algebraic_geometry): Restriction of locally ringed spaces (#8809)

feat(algebraic_geometry): Restriction of locally ringed spaces (#8809) Proves that restriction of presheafed spaces doesn't change the stalks and defines the restriction of a locally ringed space along an open embedding.