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

fullyFaithful

Mathlib.CategoryTheory.Limits.Indization.Category

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Ind.inclusion.fullyFaithful

← MathLib Explorer