Theorem AlgebraicGeometry.PresheafedSpace.stalkMap_germ'

Modification history

2024-10-10 07:55

Mathlib/Geometry/RingedSpace/Stalks.lean

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

Deleted AlgebraicGeometry.PresheafedSpace.stalkMap_germ'View on Github →

2023-10-19 12:40

Mathlib/Geometry/RingedSpace/Stalks.lean

feat(Mathlib/AlgebraicGeometry): Move material on restriction to new file (#7749) …

Added AlgebraicGeometry.PresheafedSpace.stalkMap_germ'View on Github →