Def AlgebraicGeometry.Spec.structureSheaf

Modification history

2023-06-01 14:13

Mathlib/AlgebraicGeometry/StructureSheaf.lean

feat: port AlgebraicGeometry.StructureSheaf (#4522)

Added AlgebraicGeometry.Spec.structureSheaf View on Github →