Theorem AlgebraicGeometry.stalkToFiberRingHom_germ'

Modification history

2024-10-10 07:55

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

refactor(Topology/Sheaves): Unbundle `germ`. (#15314)

Deleted AlgebraicGeometry.stalkToFiberRingHom_germ'View on Github →

2023-07-07 04:14

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

feat: port AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf (#5224)

Added AlgebraicGeometry.stalkToFiberRingHom_germ'View on Github →