∫ Утверждение Mathlib
instFaithfulFunctor
Mathlib.Condensed.Discrete.LocallyConstant
URI: https://scilib.ai/kg/mathlib#CondensedSet.LocallyConstant.instFaithfulFunctor
∫ Утверждение Mathlib
Mathlib.Condensed.Discrete.LocallyConstant
URI: https://scilib.ai/kg/mathlib#CondensedSet.LocallyConstant.instFaithfulFunctor