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

cofan_inj

Mathlib.CategoryTheory.Limits.FormalCoproducts

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.FormalCoproduct.cofan_inj

← MathLib Explorer