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

cofan_inj_f_snd

Mathlib.CategoryTheory.Limits.FormalCoproducts

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

← MathLib Explorer