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

decompId_p_toKaroubi

Mathlib.CategoryTheory.Idempotents.Karoubi

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

← MathLib Explorer