Commit 2022-04-11 23:09 0453d606
View on Github →feat(algebraic_geometry/projective_spectrum): structure sheaf of Proj of graded ring (#13072) Construct the structure sheaf of Proj of a graded algebra.
feat(algebraic_geometry/projective_spectrum): structure sheaf of Proj of graded ring (#13072) Construct the structure sheaf of Proj of a graded algebra.