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

Estimated changes