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

bipointedToPointedSnd_comp_forget

Mathlib.CategoryTheory.Category.Bipointed

URI: https://scilib.ai/kg/mathlib#bipointedToPointedSnd_comp_forget

← MathLib Explorer