feat: port Topology.Sheaves.Stalks (#4449)

Co-authored-by: Johan Commelin <johan@commelin.net>
leanprover-community · May 30, 2023 · e9ab1b4 · e9ab1b4
1 parent 76b688b
commit e9ab1b4
Show file tree

Hide file tree

Showing 2 changed files with 664 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -2552,6 +2552,7 @@ import Mathlib.Topology.Sheaves.SheafCondition.PairwiseIntersections
 import Mathlib.Topology.Sheaves.SheafCondition.Sites
 import Mathlib.Topology.Sheaves.SheafCondition.UniqueGluing
 import Mathlib.Topology.Sheaves.SheafOfFunctions
+import Mathlib.Topology.Sheaves.Stalks
 import Mathlib.Topology.ShrinkingLemma
 import Mathlib.Topology.Sober
 import Mathlib.Topology.Spectral.Hom