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

bipointedToPointedFst_comp_forget

Mathlib.CategoryTheory.Category.Bipointed

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

← MathLib Explorer