∫ Утверждение Mathlib
Mathlib.Topology.Sheaves.Sheafify
URI: https://scilib.ai/kg/mathlib#TopCat.Presheaf.sheafify
← MathLib Explorer