Def AlgebraicGeometry.ProjectiveSpectrum.Proj.structureSheaf

Modification history

2023-07-07 04:14

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

feat: port AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf (#5224)

Added AlgebraicGeometry.ProjectiveSpectrum.Proj.structureSheaf View on Github →