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

cofan_inj_φ

Mathlib.CategoryTheory.Limits.FormalCoproducts

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

← MathLib Explorer