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

coe_p

Mathlib.CategoryTheory.Idempotents.Karoubi

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

← MathLib Explorer