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

toCocone_ι_app

Mathlib.CategoryTheory.Limits.Shapes.Biproducts

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.Bicone.toCocone_ι_app

← MathLib Explorer