Def AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf.structurePresheafInCommRing

Modification history

2023-07-07 04:14
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean
feat: port AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf (#5224)
Added AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf.structurePresheafInCommRingView on Github →