∫ Утверждение Mathlib
map_germ_eq_Γgerm
Mathlib.Topology.Sheaves.Stalks
URI: https://scilib.ai/kg/mathlib#TopCat.Presheaf.map_germ_eq_Γgerm
∫ Утверждение Mathlib
Mathlib.Topology.Sheaves.Stalks
URI: https://scilib.ai/kg/mathlib#TopCat.Presheaf.map_germ_eq_Γgerm