Theorem AlgebraicGeometry.stalkToFiberRingHom_germ

Modification history

2024-10-10 07:55
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean
refactor(Topology/Sheaves): Unbundle `germ`. (#15314)
Modified AlgebraicGeometry.stalkToFiberRingHom_germView on Github →
2023-07-07 04:14
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean
feat: port AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf (#5224)
Added AlgebraicGeometry.stalkToFiberRingHom_germView on Github →