instFaithfulCondensedTypeDiscrete — Mathlib · SciLib

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

instFaithfulCondensedTypeDiscrete

Mathlib.Condensed.Discrete.LocallyConstant

URI: https://scilib.ai/kg/mathlib#CondensedSet.LocallyConstant.instFaithfulCondensedTypeDiscrete

← MathLib Explorer