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

swap_comp_bipointedToPointedFst

Mathlib.CategoryTheory.Category.Bipointed

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

← MathLib Explorer