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

decompId_i_toKaroubi

Mathlib.CategoryTheory.Idempotents.Karoubi

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

← MathLib Explorer