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

comp_f

Mathlib.CategoryTheory.Idempotents.Karoubi

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Idempotents.Karoubi.comp_f

← MathLib Explorer