∫ Утверждение Mathlib
instFaithfulFGAlgCatUliftFunctor
Mathlib.Algebra.Category.CommAlgCat.FiniteType
URI: https://scilib.ai/kg/mathlib#instFaithfulFGAlgCatUliftFunctor
∫ Утверждение Mathlib
Mathlib.Algebra.Category.CommAlgCat.FiniteType
URI: https://scilib.ai/kg/mathlib#instFaithfulFGAlgCatUliftFunctor