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

isLocallyInjective_comp_iff

Mathlib.CategoryTheory.Sites.LocallyInjective

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Presheaf.isLocallyInjective_comp_iff

← MathLib Explorer