instInhabitedSelf — Mathlib · SciLib

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

instInhabitedSelf

Mathlib.CategoryTheory.Limits.Shapes.Images

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

← MathLib Explorer