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

toStructuredArrow_comp_proj

Mathlib.CategoryTheory.Limits.ConeCategory

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.Cone.toStructuredArrow_comp_proj

← MathLib Explorer