∫ Утверждение Mathlib
of
Mathlib.CategoryTheory.Quotient
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Quotient.CompClosure.of
∫ Утверждение Mathlib
Mathlib.CategoryTheory.Quotient
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Quotient.CompClosure.of