mathlib
6bc2bd6e - feat(algebraic_geometry/projective_spectrum): Proj as a locally ringed space (#12773)

Commit

3 years ago

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

Author

jjaassoonn

Parents

72e1a9ee

mathlib 6bc2bd6e - feat(algebraic_geometry/projective_spectrum): Proj as a locally ringed space (#12773)

mathlib
6bc2bd6e - feat(algebraic_geometry/projective_spectrum): Proj as a locally ringed space (#12773)