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

cofan_inj_f_fst

Mathlib.CategoryTheory.Limits.FormalCoproducts

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

← MathLib Explorer