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

mkOfHasColimits_coconePoints

Mathlib.CategoryTheory.Limits.Fubini

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.DiagramOfCocones.mkOfHasColimits_coconePoints

← MathLib Explorer