∫ Утверждение Mathlib
charFn_eq_zero
Mathlib.Topology.LocallyConstant.Algebra
URI: https://scilib.ai/kg/mathlib#LocallyConstant.charFn_eq_zero
∫ Утверждение Mathlib
Mathlib.Topology.LocallyConstant.Algebra
URI: https://scilib.ai/kg/mathlib#LocallyConstant.charFn_eq_zero