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

pointedToBipointedSnd_comp_swap

Mathlib.CategoryTheory.Category.Bipointed

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

← MathLib Explorer