Theorem AlgebraicGeometry.PresheafedSpace.stalkMap_germ'

Modification history

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 →