Def AlgebraicGeometry.StructureSheaf.const

Modification history

2023-06-01 14:13

Mathlib/AlgebraicGeometry/StructureSheaf.lean

feat: port AlgebraicGeometry.StructureSheaf (#4522)

Added AlgebraicGeometry.StructureSheaf.const View on Github →