instFaithfulKaroubiToKaroubi — Mathlib · SciLib

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

instFaithfulKaroubiToKaroubi

Mathlib.CategoryTheory.Idempotents.Karoubi

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

← MathLib Explorer