Def AlgebraicGeometry.StructureSheaf.Localizations

Modification history

2023-06-01 14:13

Mathlib/AlgebraicGeometry/StructureSheaf.lean

feat: port AlgebraicGeometry.StructureSheaf (#4522)

Added AlgebraicGeometry.StructureSheaf.Localizations View on Github →