Theorem smoothSheaf.eval_germ

Modification history

2024-10-10 07:55
Mathlib/Geometry/Manifold/Sheaf/Smooth.lean
refactor(Topology/Sheaves): Unbundle `germ`. (#15314)
Modified smoothSheaf.eval_germView on Github →
2023-10-23 14:19
Mathlib/Geometry/Manifold/Sheaf/Smooth.lean
feat: locally ringed space structure on a manifold (#7423) …
Modified smoothSheaf.eval_germView on Github →
2023-10-09 13:35
Mathlib/Geometry/Manifold/Sheaf/Smooth.lean
feat: structure sheaf of a manifold (#7332) …
Added smoothSheaf.eval_germView on Github →