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

multifork_ι

Mathlib.CategoryTheory.Limits.Shapes.Multiequalizer

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.Multiequalizer.multifork_ι

← MathLib Explorer