∫ Утверждение Mathlib

mapPresheaf_obj_X

Mathlib.Geometry.RingedSpace.PresheafedSpace

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.mapPresheaf_obj_X

← MathLib Explorer