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

rel_comp

Mathlib.CategoryTheory.Category.RelCat

URI: https://scilib.ai/kg/mathlib#CategoryTheory.RelCat.Hom.rel_comp

← MathLib Explorer