Theorem smoothSheafCommRing.eval_germ

Modification history

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