Theorem smoothSheafCommRing.forgetStalk_hom_comp_evalHom

Modification history

2023-10-09 13:35
Mathlib/Geometry/Manifold/Sheaf/Smooth.lean
feat: structure sheaf of a manifold (#7332) …
Added smoothSheafCommRing.forgetStalk_hom_comp_evalHomView on Github →