e_isoExt_hom — Mathlib · SciLib

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

e_isoExt_hom

Mathlib.CategoryTheory.Limits.Shapes.Images

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.IsImage.e_isoExt_hom

← MathLib Explorer