Def AlgebraicGeometry.StructureSheaf.localizationToStalk

Modification history

2023-06-01 14:13

Mathlib/AlgebraicGeometry/StructureSheaf.lean

feat: port AlgebraicGeometry.StructureSheaf (#4522)

Added AlgebraicGeometry.StructureSheaf.localizationToStalk View on Github →