mathlib

73f50ac6 - feat(algebraic_geometry): Redefine Schemes in terms of isos of locally ringed spaces (#8888)

feat(algebraic_geometry): Redefine Schemes in terms of isos of locally ringed spaces (#8888) Addresses the project mentioned in `Scheme.lean` to redefine Schemes in terms of isomorphisms of locally ringed spaces, instead of presheafed spaces.