∫ Утверждение Mathlib
indicator_one_inj
Mathlib.Algebra.GroupWithZero.Indicator
URI: https://scilib.ai/kg/mathlib#Set.indicator_one_inj
∫ Утверждение Mathlib
Mathlib.Algebra.GroupWithZero.Indicator
URI: https://scilib.ai/kg/mathlib#Set.indicator_one_inj