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

id_f

Mathlib.CategoryTheory.Idempotents.Karoubi

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

← MathLib Explorer