# Commit 2022-04-12 08:46 6bc2bd6e

View on Github →feat(algebraic_geometry/projective_spectrum): Proj as a locally ringed space (#12773) This pr is about proving that Proj with its structure sheaf is a locally ringed space

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebraic_geometry/projective_spectrum): Proj as a locally ringed space (#12773) This pr is about proving that Proj with its structure sheaf is a locally ringed space