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

isLocallySurjective_sheafToPresheaf_map_iff

Mathlib.CategoryTheory.Sites.LocallySurjective

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Sheaf.isLocallySurjective_sheafToPresheaf_map_iff

← MathLib Explorer