Commit 2021-08-31 09:04 1c134548

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.