as_ι — Mathlib · SciLib

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

as_ι

Mathlib.CategoryTheory.Limits.Shapes.Images

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.image.as_ι

← MathLib Explorer