∫ Утверждение Mathlib
pushforward_obj_val
Mathlib.Topology.Sheaves.Functors
URI: https://scilib.ai/kg/mathlib#TopCat.Sheaf.pushforward_obj_val
∫ Утверждение Mathlib
Mathlib.Topology.Sheaves.Functors
URI: https://scilib.ai/kg/mathlib#TopCat.Sheaf.pushforward_obj_val