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

hasEqualizers

Mathlib.CategoryTheory.Limits.Shapes.NormalMono.Equalizers

URI: https://scilib.ai/kg/mathlib#CategoryTheory.NormalMonoCategory.hasEqualizers

← MathLib Explorer