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

pointedToBipointedFst_comp_swap

Mathlib.CategoryTheory.Category.Bipointed

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

← MathLib Explorer