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

swap_comp_bipointedToPointedSnd

Mathlib.CategoryTheory.Category.Bipointed

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

← MathLib Explorer